Elementary Geometry Theorem Proving,
Abstract
An elementary theorem prover for a small part of plane Euclidean geometry is presented. The purpose is to illustrate important problem solving concepts that naturally arise in building procedural models for mathematics. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 01, 1973
- Accession Number
- AD0773568
Entities
People
- Ira Goldstein
Organizations
- Massachusetts Institute of Technology