Geometry theorem proving involves skills that are difficult to learn. Instead of working with abstract and complicated representations, students might start with concrete, graphical representations. A proof tree is a graphical representation of a formal proof, with each node representing a proposition or given conditions. A computer-assisted…

The article discusses the use of L-systems, which provide students with a unique method to construct line fractals, including the Koch snowflake, the Sierpinski triangle, and the Harter-Heighway dragon. Applets that use L-system theory offer a graphics tool that promotes geometric reasoning, sparks enthusiasm, and connects to historical themes in…

In this paper, I review both mathematics education and CSCL literature and discuss how we can better take advantage of CSCL tools for developing mathematical proof skills. I introduce a model of proof in school mathematics that incorporates both empirical and deductive ways of knowing. I argue that two major forces have given rise to this…

Mathematics educators often despair at math's austere, "abstract" reputation. This paper describes recent work in developing an application named "HyperGami," which is designed to integrate both the abstract and"real-world" aspects of mathematics by allowing children to design and construct polyhedral models and…