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.…

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)