In this study, a description is provided for the development of two undergraduate students' geometric reasoning about the derivative of a complex-valued function with the aid of "Geometer's Sketchpad" ("GSP") during an interview sequence designed to help them characterize the derivative geometrically. Specifically, a particular…

Activities for Students appears five times each year in Mathematics Teacher, promoting student-centered activities that teachers can adapt for use in their own classroom. In the course of the activities presented here, students will "look for and make use of structure" by observing algebraic patterns in the power rule and "use…

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…

From the early nineties, most reformed curricula at upper secondary level choose to give functions a major position and a priority over rational expressions and equations of traditional algebra. The goal of this paper is to introduce key challenges resulting from this choice and to discuss the contribution that software environments associating…

The availability of sophisticated computer programs such as "Wolfram Alpha" has made many problems found in the secondary mathematics curriculum somewhat obsolete for they can be easily solved by the software. Against this background, an interplay between the power of a modern tool of technology and educational constraints it presents is…

University of Chicago School Mathematics Project (UCSMP) Algebra is a one-year course covering three primary topics: (1) linear and quadratic expressions, sentences, and functions; (2) exponential expressions and functions; and (3) linear systems. Topics from geometry, probability, and statistics are integrated with the appropriate algebra.…

The objective of this research was to better understand the transfer of learning between different variations of pre-algebra problems. While the authors could have addressed a specific variation that might address transfer, they were interested in developing a general model of transfer, so we gathered data from multiple problem types and their…

Discussed are assumptions about technology and classroom equipment, teaching methods, getting started, pitfalls, and the role of algebra and calculus. Suggestions are given for implementing the spirit and vision of the standards. (YP)