2002 Petit x. N° 59. p. 23-41. Les vérifications dans les équations, inéquations et en calcul littéral. Auteurs : Chalançon Franck ; Coppé Sylvie ; Pascal Nicolas