Highly Influenced

@article{Matsuda2004GRAMYAG, title={GRAMY: A Geometry Theorem Prover Capable of Construction}, author={Noboru Matsuda and Kurt VanLehn}, journal={Journal of Automated Reasoning}, year={2004}, volume={32}, pages={3-33} }

- Published 2004 in Journal of Automated Reasoning
DOI:10.1023/B:JARS.0000021960.39761.b7

This study investigates a procedure for proving arithmetic-free Euclidean geometry theorems that involve construction. “Construction” means drawing additional geometric elements in the problem figure. Some geometry theorems require construction as a part of the proof. The basic idea of our construction procedure is to add only elements required for applying a postulate that has a consequence that unifies with a goal to be proven. In other words, construction is made only if it supports backward… CONTINUE READING