Elementary Geometry Theorem Proving
dc.contributor.author | Goldstein, Ira | en_US |
dc.date.accessioned | 2004-10-01T20:37:24Z | |
dc.date.available | 2004-10-01T20:37:24Z | |
dc.date.issued | 1973-04-01 | en_US |
dc.identifier.other | AIM-280 | en_US |
dc.identifier.uri | http://hdl.handle.net/1721.1/5798 | |
dc.description.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. | en_US |
dc.format.extent | 46 p. | en_US |
dc.format.extent | 17197216 bytes | |
dc.format.extent | 1599499 bytes | |
dc.format.mimetype | application/postscript | |
dc.format.mimetype | application/pdf | |
dc.language.iso | en_US | |
dc.relation.ispartofseries | AIM-280 | en_US |
dc.title | Elementary Geometry Theorem Proving | en_US |