Majoration de la norme des facteurs d'un polynôme : cas où toutes les racines du polynôme sont réelles
Mémoire sur la résolution des équations algébriques les unes par les autres.
Méthode de l'élimination des intervalles pour servir à la résolution des équations algébriques et transcendantes
Minimal degree solutions for the Bezout equation
Multivariate Sturm-Habicht sequences: real root counting on n-rectangles and triangles.
The main purpose of this note is to show how Sturm-Habicht Sequence can be generalized to the multivariate case and used to compute the number of real solutions of a polynomial system of equations with a finite number of complex solutions. Using the same techniques, some formulae counting the number of real solutions of such polynomial systems of equations inside n-dimensional rectangles or triangles in the plane are presented.