Describes examples of student-centered activities for exploring mathematical induction using BASIC programs or spreadsheets. Discusses the advantages of using this medium to teach the concept and provides computer programs for the activities. (MDH)

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…

This booklet is the ninth in a series of nine from the Teacher Training Institute at Hofstra University (New York) and describes the content and the approach of an institute course in which the participants use the personal computer as a personal tool within the mathematical discovery process of making conjectures, testing those conjectures, and…