This paper advocates the use of symbolic computation packages as another aid in teaching geometry. The need for such packages and their use in computerized proofs are demonstrated by a problem in high school planar geometry. (LZ)

A preservice teacher education course involving the applications for a computer within the mathematics classroom is described in terms of its evolution from a workshop to a regular curricular offering. Included are samples of computer experiments which suggest computer teaching activities for the prospective teacher lacking in field experience.…

Reviews three software programs: "Fraction Fuel-Up"; "Explorations in Chemistry"; and "Locus." Includes information on: instructional orientation, educational level, systems package, publisher, program description, strengths and weaknesses, applications, and recommendations for improvement. Includes a general critique statement in the summary…

Provides a brief description, rationale for selection, and recommendations for use of: "The Geometric Supposer"; "Graphing Equations"; "Electronic Spreadsheet"; "LOGO"; "muMATH"; "The King's Rule"; "Algebra Series"; and "Golf Classic." Lists contents, costs, and…

Provides a software program for determining PI to the 15th place after the decimal. Explores the history of determining the value of PI from Archimedes to present computer methods. Investigates Wallis's, Liebniz's, and Buffon's methods. Written for Tandy GW-BASIC (IBM compatible) with 384K. Suggestions for Apple II's are given. (MVL)

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…