Proof and argumentation are essential components of learning mathematics, and technology can mediate students' abilities to learn. This systematic literature review synthesizes empirical literature which examines technology as a support for proof and argumentation across all content domains. The themes of this review are revealed through analyzing…

CATO is a new user interface, developed by the author as a response to the significant difficulties faced by scientists, engineers, and students in their usage of computer algebra (CA) systems. Their tendency to use CA systems only occasionally means that they are unfamiliar with requisite grammar and syntax these systems require. The author…

After carrying out a project over several years in eight upper secondary schools in Thuringia on the effects the use of a handheld CAS (Computer Algebra System) has on the students' skills in mathematics, the former ban on the use of such technology in mathematics education was revoked. Late in the project (2002) a survey of all students in the…

This paper reports on the effects the use of a pocket calculator-based computer algebra system (CAS) has on the performance in mathematics of grade 11 students in Germany. A project started at 8 of about one hundred upper secondary schools in the federal state of Thuringia in 1999; 3 years later the former restrictions on the use of technology in…

The title describes two challenges with which mathematics teachers nowadays have to deal concerning their classroom-arrangements: new teaching methods and integrating computers. Many teachers are afraid that when realising both trends, curricular prescriptions can become even more difficult to achieve. Changes in the classroom-arrangements and…

The subject of q-calculus is a rich source of learning activities that address concept formation, exploration, variation, rich training and proof. This paper is a survey of the subject that shows how high school students using a computer algebra system can explore the field and prove some results. (Contains 7 figures.)

The paper's aim is to note a remarkable (and apparently unknown) relation for right triangles, its generalisation to arbitrary triangles and the possibility to derive these and some related relations by elimination using Groebner basis computations with a modern computer algebra system. (Contains 9 figures.)