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…

Examines research relevant to the debate about the relative emphasis that formal proof should play in high school geometry. Discussion includes establishing truth in geometry, research in students' learning of proof, developing the notion of proof, alternatives to axiomatic approaches, computer construction programs, and classroom recommendations.…

Reviews research literature leading to design of a new LOGO environment, Geo-LOGO, tailored for elementary students' learning of geometry. Presents empirical data from the first field test of the Geo-LOGO environment, which generally support the efficacy of the software design. (Author/MKR)

Examines existing research literature which suggests that introducing computing tools can help students focus on the relevant aspects of a problem, function at higher levels of geometric understanding, distinguish between drawings and constructions, and develop and reason about conjectures on the basis of generalization of patterns. (KHR)

This paper examines a range of studies done on the "Geometric Supposer" software and its use since the mid-1980s. It describes how the "Geometric Supposer" is a response to the call for reform by the mathematics community to create classroom environments that allow students to construct their own knowledge. This approach to…