Explores the role of proof in mathematics education and provides justification for its importance in the curriculum. Discusses three applications of dynamic geometry software--heuristics, exploration, and visualization--as tools in the teaching of proof and as potential challenges to the importance of proof. (Author/MM)

Reports on a long-term teaching experiment carried out in the 9th and 10th grades of a scientific high school as part of a larger research project. Aims to clarify the role of a particular software, Cabri Geometry, in the teaching/learning process. Focuses on the social construction of knowledge. (Author/MM)

Identified are three obstacles which students must overcome when examining and interpreting diagrams. The resources of the Geometric Supposer, a set of microcomputer tools designed to aid students, are outlined. The advantages of the use of this software are emphasized. (CW)