Elementary Geometry Theorem Proving

Please use this identifier to cite or link to this item: http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/5798

Full metadata record

DC Field	Value	Language
dc.creator	Goldstein, Ira	-
dc.date	2004-10-01T20:37:24Z	-
dc.date	2004-10-01T20:37:24Z	-
dc.date	1973-04-01	-
dc.date.accessioned	2013-10-09T02:41:20Z	-
dc.date.available	2013-10-09T02:41:20Z	-
dc.date.issued	2013-10-09	-
dc.identifier	AIM-280	-
dc.identifier	http://hdl.handle.net/1721.1/5798	-
dc.identifier.uri	http://koha.mediu.edu.my:8181/xmlui/handle/1721	-
dc.description	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.	-
dc.format	46 p.	-
dc.format	17197216 bytes	-
dc.format	1599499 bytes	-
dc.format	application/postscript	-
dc.format	application/pdf	-
dc.language	en_US	-
dc.relation	AIM-280	-
dc.title	Elementary Geometry Theorem Proving	-
Appears in Collections:	MIT Items

Files in This Item:

There are no files associated with this item.

DSpace JSPUI