O'Reilly logo

Handbook of Automated Reasoning by Andrei Voronkov, Alan J.A. Robinson

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

4.3 Parametric zero-sets

In many applications of constraint solving one wants to study not only the zero sets of fixed polynomial systems, but also a whole class of such problems given by a polynomial system F = 0, where the coefficients of the polynomials in the system depend on (complex or real) parameters. Then the complex or real zero-set of F depends on these parameters and the goal is to describe this dependence on the parameters as uniformly as possible.

Another source of parametric zero-sets are polynomial systems F that are parameter-free but where V images(F) has positive dimension and one wants to determine the zeros of F depending on ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required