The multivariate Hermite method for counting real and complex solutions to polynomial systems
This note presents the multivariate Hermite criterion: a practical and powerful algorithm for determining the number of distinct real and complex roots of a zero-dimensional system of polynomials in any finite number of variables. The final section includes an implementation in Macaulay2, a free and open-source computer algebra system.
math.AG↗