Elementary Geometry Theorem Proving
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.
Main Author: | Goldstein, Ira |
---|---|
Language: | en_US |
Published: |
2004
|
Online Access: | http://hdl.handle.net/1721.1/5798 |
Similar Items
-
A Proposal for a Geometry Theorem Proving Program
by: Hart, Timothy P.
Published: (2004) -
Plane Geometry Theorem Proving Using Forward Chaining
by: Nevins, Arthur J.
Published: (2004) -
Theorem proving [filem]
Published: (1969) -
Theorem proving [kasetvideo]
Published: (1969) -
Playing with LEGO and proving theorems
by: Tanswell, FS
Published: (2017)