A Practical Algorithm for Geometric Theorem Proving.

Ashutosh Rege, John F. Canny

Browse the full AISC paper archive.