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) -
Automated elementary geometry theorem discovery via inductive diagram manipulation
by: Johnson, Lars Erik
Published: (2016) -
PLANNER: A Language for Proving Theorems
by: Hewitt, Carl
Published: (2004) -
Theorem-proving distributed algorithms with dynamic analysis
by: Ne Win, Toh, 1979-
Published: (2006)