This study documents problem solving approaches that high school students develop as a result of using systematically Cabri-Geometry software. Results show that the use of the software becomes an important tool for students to construct dynamic representations of the problems that were used to identify and examine different mathematical relations.…

In this study, I present an analysis of high school geometry curricula regarding mathematical proof opportunities. I examined eight U.S. high school level geometry textbooks, which were categorized into three main groups: technology-intensive, standards-based, and traditional curricula. I conceptualized "ideal" proving activity combining…

Describes the Plane Geometry System computer software developed at the Educational Computer Systems laboratory in Sofia, Bulgaria. The system enables students to use the concept of "algorithm" to correspond to the process of "deductive proof" in the development of plane geometry. Provides an example of the software's capability…