1. Aubry, P., 1999. Ensembles triangulaires de polynômes et résolution de systèmes algébriques. Implantation en Axiom. Ph.D. Thesis, Université Paris VI
2. On the theories of triangular sets;Aubry;Journal of Symbolic Computation,1999
3. Gröbner Bases: A computational approach to commutative algebra;Becker,1991
4. Boulier, F., 1994. Étude et implantation de quelques algorithmes en algèbre différentielle. Ph.D. Thesis, Université Lille I, 59655, Villeneuve d’Ascq, France. http://tel.archives-ouvertes.fr/tel-00137866
5. Boulier, F., November 1999. Efficient computation of regular differential systems by change of rankings using Kähler differentials. Tech. Rep., Université Lille I, 59655, Villeneuve d’Ascq, France, ref. LIFL 1999–14, presented at the MEGA 2000 conference. http://hal.archives-ouvertes.fr/hal-00139738