Elementary Geometry Theorem Proving
Author(s)
Goldstein, Ira
DownloadAIM-280.ps (16.40Mb)
Additional downloads
Metadata
Show full item recordAbstract
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.
Date issued
1973-04-01Other identifiers
AIM-280
Series/Report no.
AIM-280