|
D.12.6 rootsmr_lib
- Library:
- rootsmr.lib
- Purpose:
- Counting the number of real roots of polynomial systems
- Author:
- Enrique A. Tobis, etobis@dc.uba.ar
- Overview:
- Routines for counting the number of real roots of a multivariate
polynomial system. Two methods are implemented: deterministic
computation of the number of roots, via the signature of a certain
bilinear form (nrRootsDeterm); and a rational univariate projection,
using a pseudorandom polynomial (nrRootsProbab). It also includes a
command to verify the correctness of the pseudorandom answer.
- References:
- Basu, Pollack, Roy, "Algorithms in Real Algebraic
Geometry", Springer, 2003.
Procedures:
|