Solving polynomial systems via symbolic-numeric reduction to geometric involutive form (Q1006657)

As the title suggests, this article introduces a new symbolic-numeric method for solving zero-dimensional polynomial systems with inexact coefficients. The authors use the correspondence between polynomial systems and PDE systems in the following way: the corresponding PDE system is brought to involutive form (abundant literature is cited in reference to this). The authors use a criterion for involutiveness that involves computing dimensions of certain null spaces. After this, the solutions are computed by solving an eigenvalue/vector problem constructed from it. The constructed problem is a modification of a similar one in the literature.