|
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
|
by Basu, Saugata, Pollack, Richard, Coste-Roy, Marie-Françoise
Published 2003
Table of Contents:
“... -- 11 Polynomial System Solving -- 12 Cylindrical Decomposition Algorithm -- 13 Existential Theory...”Published 2003
Springer Berlin Heidelberg