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…

Shows a series of Euclidean equations using the Euclidean algorithm to get the greatest common divisor of two integers. Describes the use of the equations to generate a series of circles. Discusses computer generation of Euclidean circles and provides a BASIC program. (YP)

Discusses the use of computer graphics in the teaching of geometry. Describes five types of geometry: Euclidean geometry, transformation geometry, coordinate geometry, three-dimensional geometry, and geometry of convex sets. (YP)

Utilizes LOGO to teach the concept of inequalities by programing the turtle to take random walks in the coordinate plane restricted to predetermined regions defined by inequalities. The students task is to discover the inequalities that define the illegal areas into which the turtle must not move. Provides examples and corresponding computer…

This document describes a mathematics course that uses the computer to solve mathematics problems. It was developed to be used with students who have completed at least one year of general mathematics or are not achieving success in the traditional mathematics program. The course is intended to review, reinforce, and extend concepts included in…

This document describes a mathematics course that uses the computer to solve mathematics problems. It was developed to be used with students who have completed at least one year of general mathematics or are not achieving success in the traditional mathematics program. The course is intended to review, reinforce, and extend concepts included in…