A Geometry Theorem Prover for Macintoshes.

Shang-Ching Chou

Browse the full CADE paper archive.