1. On the theories of triangular sets;Aubry;Journal of Symbolic Computation,1999
2. Gröbner bases: A computational approach to commutative algebra;Becker,1993
3. Quantifier elimination for real closed fields by cylindrical algebraic decomposition;Collins;Lecture Notes in Computer Science,1975
4. Corvez, S., 2005. Etude de systèmes polynomiaux: Contributions à la classification d’une famille de manipulateurs et au calculs des intersections de courbes A-splines. Ph.D. Thesis, Université de Rennes 1
5. Using computer algebra tools to classify serial manipulators;Corvez,2003