Elementary Geometry Theorem Proving
Unknown author (1973-04-01)
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.