Advanced Search
DSpace@MIT

Elementary Geometry Theorem Proving

Research and Teaching Output of the MIT Community

Elementary Geometry Theorem Proving

Download
Author: Goldstein, Ira
Date Issued: 1973-04-01
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.
URI: http://hdl.handle.net/1721.1/5798
Other Identifiers: AIM-280
Series/Report no.: AIM-280

Show full item metadata

Files in this item

Name Size Format Description
AIM-280.ps 16.40Mb Postscript
AIM-280.pdf 1.525Mb PDF

This item appears in the following Collection(s)

MIT-Mirage