This article explains how explorations into the quadratic formula can offer students opportunities to learn about the structure of algebraic expressions. In this article, the author leverages the graphical interpretation of the quadratic formula and describes an activity in which students derive the quadratic formula by quantifying the symmetry of…

All students need to discuss mathematics to develop and deepen understanding. However, for English Learners (ELs), peer dialogue is imperative and indispensable to conceptual understanding as they participate in mathematical practices and engage in increasingly sophisticated uses of language (Heritage, Walqui, and Linquanti 2015). As ELs share…

Understanding how one representation connects to another and how the essential ideas in that relationship are generalized can result in a mathematical theorem or a formula. In this article, the authors demonstrate this process by connecting a vector cross product in algebraic form to a geometric representation and applying a key mathematical idea…

While tutoring his granddaughter in second-year algebra recently, the second author lamented that every textbook he could find expresses the quadratic formula as probably the most common form of the formula. What troubled him is that this form hides the meaning of the various components of the equation. Indeed, the meaning was obscured by the…

"Principles to Actions: Ensuring Mathematical Success for All" (NCTM 2014) gives teachers access to an insightful, research-informed framework that outlines ways to promote reasoning and sense making. Specifically, as students transition on their mathematical journey through middle school and beyond, their knowledge and use of…

Polynomials with rational roots and extrema may be difficult to create. Although techniques for solving cubic polynomials exist, students struggle with solutions that are in a complicated format. Presented in this article is a way instructors may wish to introduce the topics of roots and critical numbers of polynomial functions in calculus. In a…

The Common Core State Standards for Mathematics (CCSSM) states that high school students should be able to recognize patterns of growth in linear, quadratic, and exponential functions and construct such functions from tables of data (CCSSI 2010). In their work with practicing secondary teachers, the authors found that teachers may make some tacit…

Generalizing is a foundational mathematical practice for the algebra classroom. It entails an act of abstraction and forms the core of algebraic thinking. Kinach (2014) describes two kinds of generalization--by analogy and by extension. This article illustrates how exploration of fractals provides ample opportunity for generalizations of both…

Two points determine a line. Three noncollinear points determine a quadratic function. Four points that do not lie on a lower-degree polynomial curve determine a cubic function. In general, n + 1 points uniquely determine a polynomial of degree n, presuming that they do not fall onto a polynomial of lower degree. The process of finding such a…

Quantifier Elimination is a procedure that allows simplification of logical formulas that contain quantifiers. Many mathematical concepts are defined in terms of quantifiers and especially in calculus their use has been identified as an obstacle in the learning process. The automatic deduction provided by quantifier elimination thus allows…

Mr. Perez and Mrs. Peterson co-teach a ninth-grade algebra class. Perez and Peterson's class includes four students with individualized education programs (IEPs). In response to legislation, such as the No Child Left Behind (NCLB) Act (2001) and the Individuals with Disabilities Education Improvement Act (2006), an increasing number of students…

As teachers working with students in entry-level algebra classes, authors Amy Nebesniak and A. Aaron Burgoa realized that their instruction was a major factor in how their students viewed mathematics. They often presented students with abstract formulas that seemed to appear out of thin air. One instance occurred while they were teaching students…

Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

Damped harmonic oscillations appear naturally in many applications involving mechanical and electrical systems as well as in biological systems. Most students are introduced to harmonic motion in an elementary ordinary differential equation (ODE) course. Solutions to ODEs that describe simple harmonic motion are usually found by investigating the…

Many students have trouble grasping algebra. In this book, bestselling authors Judith, Gary, and Erin Muschla offer help for math teachers who must instruct their students (even those who are struggling) about the complexities of algebra. In simple terms, the authors outline 150 classroom-tested lessons, focused on those concepts often most…