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
