Examples of Automatic Theorem Proving a Real Geometry. - Ahmed Guergueb; Jean Mainguené; Marie-Françoise Roy (ISSAC, 1994)