Computing the dimension of a semi-algebraic set. Basu, S.; Pollack, R.; Roy, M.-F. — 2004 Zapiski Nauchnykh Seminarov POMI
Spécialisation de la suite de Sturm et sous-résultants (I) L. González-Vega; H. Lombardi; T. Recio; M.-F. Roy — 1990 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications