|
by Basu, Saugata, Pollack, Richard, Coste-Roy, Marie-Françoise
Published 2006
Table of Contents:
“... Algorithm -- Polynomial System Solving -- Existential Theory of the Reals -- Quantifier Elimination...”Published 2006
Springer Berlin Heidelberg