1999 Bulletin de l’APMEP. N° 421. p. 177-188. Démonstration automatique en géométrie. Une approche par la géométrie analytique. Auteurs : Mainguené Jean ; Roy Marie-Françoise
