Analsysis by Propagation of Constraints in Elementary Geometry Problem Solving (opens in new tab)

Analsysis by Propagation of Constraints in Elementary Geometry Problem Solving Doyle, Jon This paper describes GEL, a new geometry theorem prover. GEL is the result of an attempt to transfer the problem solving abilities of the EL electronic circuit analysis program of Sussman and Stallman to the domain of geometric diagrams. Like its ancestor, GEL is based on the concepts of "one-step local deductions" and "macro-elements." The performance of this program raises a number of questions about t...