Examples of Automatic Theorem Proving a Real Geometry.

Ahmed Guergueb, Jean Mainguen, Marie-Franoise Roy

Browse the full ISSAC paper archive.