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.