Elementary Geometry Theorem Proving
| dc.date.accessioned | 2004-10-01T20:37:24Z | |
| dc.date.accessioned | 2018-11-24T10:10:39Z | |
| dc.date.available | 2004-10-01T20:37:24Z | |
| dc.date.available | 2018-11-24T10:10:39Z | |
| dc.date.issued | 1973-04-01 | en_US |
| dc.identifier.uri | http://hdl.handle.net/1721.1/5798 | |
| dc.identifier.uri | http://repository.aust.edu.ng/xmlui/handle/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.language.iso | en_US | |
| dc.title | Elementary Geometry Theorem Proving | en_US |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| AIM-280.pdf | 1.599Mb | application/pdf | View/ |
| AIM-280.ps | 17.19Mb | application/postscript | View/ |