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…

This is a collection of Pascal programs that were developed for a 1986 National Science Foundation-sponsored high school teachers' summer workshop. The programs can be used as a means of extending or enriching textbook material in either high school mathematics or Pascal courses. Some suggested uses are: (1) teacher demonstrations in mathematics…