|
D.8.9 signcond_lib
- Library:
- signcond.lib
- Purpose:
- Routines for computing realizable sign conditions
- Author:
- Enrique A. Tobis, etobis@dc.uba.ar
- Overview:
- Routines to determine the number of solutions of a multivariate
polynomial system which satisfy a given sign configuration.
- References:
- Basu, Pollack, Roy, "Algorithms in Real Algebraic
Geometry", Springer, 2003.
Procedures:
|