GEO-Prover - A Geometry Theorem Prover Developed at UT.

Shang-Ching Chou

Browse the full CADE paper archive.