Stéphane DELLIERE (1999) Triangularisation de systèmes constructibles. Application à l'évaluation dynamique. http://www.unilim.fr/laco/theses/1999/T1999_03.html

Emmanuel TOURATIER (1998) Etude du typage dans le système de calcul scientifique Aldor http://www.unilim.fr/laco/theses/1998/T1998_04.html

Jean-François RAGOT (1997) Sur la factorisation absolue des polynômes. http://www.unilim.fr/laco/theses/1997/T1997_02.html

Laurent BERTRAND (1995) Calcul symbolique des intégrales hyperelliptiques.

Teresa GOMEZ DIAZ (1994) Quelques applications de l'évaluation dynamique. ftp://medicis.polytechnique.fr/pub/publications/gomezdiaz/

Marc RYBOWICZ (1990) Sur le calcul des places et des anneaux d'entiers d'un corps de fonctions algébriques.