2001 Calcul formel et apprentissage des mathématiques. Calculer avec des inégalités. Introduction aux algorithmes de la géométrie algébrique réelle. p. 35-47. Auteurs : Rouillier Fabrice ; Roy Marie-Françoise
