Virtual Computer Algebra Library
Preprints, PhD Theses and Technical Reports
about Real Solutions of Polynomial Systems
- Gonzalez-Vega L., Lombardi H., Mahe L.
Virtual Roots of Real Polynomials
To appear in the Journal of Pure and Applied Algebra (1996)
- Gonzalez-Vega L., Lombardi H., Recio T., Roy M.-F.
Sturm-Habicht sequences, determinants and real roots of univariate polynomials
To appear in the special volume of the series Texts and Monographs in Symbolic
Computation (Springer-Verlag) entitled 25 years of Quantifier Elimination and Cylindrical Algebraic Decomposition (1996).
- Gonzalez-Vega L., El Kahoui M.
An improved upper complexity bound for the topology computation of a real algebraic plane curve
To be presented at the Symposium entitled Foundations of Computational Mathematics which will be held at Instituto Mathematica Pura e
Applicada in Rio de Janeiro on January 5-12, 1997
- Ho C.J., Yap C.K.
"Polynomial Remainder Sequences and Theory of Subresultants"
Technical Report No. 319, 1987
Courant Institute of Mathematical Sciences, New York University
- Ierardi D, Kozen D.
"Parallel Resultant Computation"
Technical Report 90 - 1087, 1990
Dept. of Computer Science, Cornell University, Ithaca, New York
- Pedersen P.
"Computational Semialgebraic Geometry"
Technical Report No. 212, 1989
Courant Institute of Mathematical Sciences, New York University
- Pedersen P.
"Counting Real Zeroes"
PhD Thesis, 1991
Courant Institute of Mathematical Sciences, New York University
Go to:
Literature about Real Solutions
Bibliographies
Real Solutions Menu
The Computer Algebra Library
CAIN Home page
webmaster@can.nl
Last Update: October 7, 1996