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 purpose of this theoretical study is to explore the relationships between the concepts of using mathematics in the daily life, mathematical applications, mathematical modelling, and mathematical literacy. As these concepts are generally taken as independent concepts in the related literature, they are confused with each other and it becomes…

This paper attempts to engage the field in a discussion about what mathematics is needed for students to engage in society, especially with an increase in technology and digitalization. In this respect, mathematics holds a special place in STEM as machines do most of the calculations that students are taught in K-12. We raise questions about what…

This work is part of a research project that aims to enhance engineering students' learning of how to apply mathematics in modelling activities of real-world situations, through the construction (design and programming) of videogames. We want also for students to relate their mathematical knowledge with other disciplines (e.g., physics, computer…

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…

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…

A reverse engineering approach to automatic item generation (AIG) was applied to a figure-based publicly released test item from the Organisation for Economic Cooperation and Development (OECD) Programme for International Student Assessment (PISA) mathematical literacy cognitive instrument as part of a proof of concept. The author created an item…

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…

The National Council of Teachers of Mathematics calls for an increased emphasis on proof and reasoning in school mathematics curricula. Given such an emphasis, mathematics teachers must be prepared to structure curricular experiences so that students develop an appreciation for both the value of proof and for those strategies that will assist them…

To what extent does the use of computational tools offer teachers the possibility of constructing dynamic models to identify and explore diverse mathematical relations? What ways of reasoning or thinking about the problems emerge during the model construction process that involves the use of the tools? These research questions guided the…

The method of proof by mathematical induction follows from Peano axiom 5. We give three properties which are often used in the proofs by mathematical induction. We show that these are equivalent. Supposing the well-ordering property we prove the validity of this method without using Peano axiom 5. Finally, we introduce the simplest form of…

This article describes an alternate way to utilize a circular model to represent thirds by incorporating areas of circular segments, trigonometric functions, and geometric transformations. This method is appropriate for students studying geometry and trigonometry at the high shool level. This task provides valuable learning experiences that…

A model permitting construction of algorithms for the polynomial conjoint analysis of similarities is presented. This model, which is based on concepts used in nonmetric scaling, permits one to obtain the best approximate solution. The concepts used to construct nonmetric scaling algorithms are reviewed. Finally, examples of algorithmic models for…

This paper analyzes the quantitative and situational structure of algebra story problems, uses these materials to propose an interpretive framework for written problem soving protocols, and then presents an exploratory study of the episodic structure of algebra story problem solving in a sizable group of mathematically competent subjects. Analyses…

Applications of an LR-1 parsing algorithm to intelligent programs for computer assisted instruction in symbolic logic and foreign languages are discussed. The system has been adequately used for diverse instructional applications, including analysis of student input, generation of pattern drills, and modeling the student's understanding of the…