Automatic Theorem Generation in Plane Geometry.

Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou

Browse the full ISMIS paper archive.