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…

The authors illustrate three basic types of reasoning used in mathematics by showing how they operate in practical and mathematical situations. The importance and function of the different types of reasoning in each situation is outlined. As a consequence the authors note that while introducing new techniques by example is good from a pedagogical…

Mathematics teachers constantly encourage their students to think independently. The study of integration in calculus provides an excellent opportunity to encourage inventive investigation. In contrast to differentiation, which is predominately mechanical, integration is a more creative process. One such possibility is offered by the study of the…

The standard for measuring fuel efficiency in the U.S. has been miles per gallon (mpg). However, the Environmental Protection Agency's (EPA) switch in rating fuel efficiency from miles per gallon to gallons per hundred miles with the 2013 model-year cars leads to interesting and relevant mathematics with real-world connections. By modeling…

In this article, by using Rolle's theorem, we establish some results related to the mean value theorem for integrals. Our results are different from the set of integral mean value theorems which are given by Wayment ["An integral mean value theorem", Math. Gazette 54 (1970), pp. 300-301] and Sahoo ["Some results related to the integral mean value…

This paper justifies the need for, and offers some suggestions on, the selection and implementation of mathematical problems known as dynamic solution exercises (DSEs). The intent of this article is to help provide insight into how mathematics teachers can go about making "vertical articulation" a cooperative and tangible part of the…

The great gorilla jump is an activity designed to allow calculus students to construct an understanding of the structure of the Riemann sum and definite integral. The activity uses the ideas of position, velocity, and time to allow students to explore familiar ideas in a new way. Our research has shown that introducing the definite integral as…

Nonroutine function tasks are more challenging than most typical high school mathematics tasks. Nonroutine tasks encourage students to expand their thinking about functions and their approaches to problem solving. As a result, they gain greater appreciation for the power of multiple representations and a richer understanding of functions. This…

This article introduces a trigonometric field (TF) that extends the field of real numbers by adding two new elements: sin and cos--satisfying an axiom sin[superscript 2] + cos[superscript 2] = 1. It is shown that by assigning meaningful names to particular elements of the field, all known trigonometric identities may be introduced and proved. Two…

A visual approach to understanding the chain rule and related derivative formulae, for functions from R to R and from C to C, is presented. This apparently novel approach has been successfully used with several audiences: students first studying calculus, students with some background in linear algebra, students beginning study of functions of a…

In late October 1967, the USS Scorpion was lost at sea, somewhere between the Azores and Norfolk Virginia. Dr. Craven of the U.S. Navy's Special Projects Division is credited with using Bayesian Search Theory to locate the submarine. Bayesian Search Theory is a straightforward and interesting application of Bayes' theorem which involves searching…

Communicating and collaborating online are becoming common requirements in education. The specialized notations and symbols necessary for some content areas where mathematical expressions are part of the conversation require that users select appropriate communication tools. The purpose of this article is to describe tools that can be used for…

Our work is inspired by the book "Imagining Numbers (particularly the square root of minus fifteen)," by Harvard University mathematics professor Barry Mazur ("Imagining numbers (particularly the square root of minus fifteen)," Farrar, Straus and Giroux, New York, 2003). The work of Mazur led us to question whether the features and steps of…

While linear programming is a common tool in business and industry, there have not been many applications in educational assessment and only a handful of individuals have been actively involved in conducting psychometric research in this area. Perhaps this is due, at least in part, to the complexity of existing software packages. This article…

This set of transparencies shows how the manipulation of combinatorial structures in the context of modern combinatorics can easily lead to interesting teaching and learning activities at every level of education from elementary school to university. The transparencies describe: (1) the importance and relations of combinatorics to science and…