A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf
.
GRAMY: A Geometry Theorem Prover Capable of Construction
2004
Journal of automated reasoning
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
doi:10.1023/b:jars.0000021960.39761.b7
fatcat:xrlropabqjegndsfrigtujtg24