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
1993 Quadrature. N° 16. p. 45-52. Démonstration automatique en géométrie : une approche par l’algèbre. Auteur : Roy Marie-Françoise
