Beschreibung
InhaltsangabeAlgebraically Closed Fields.- Real Closed Fields.- Semi-Algebraic Sets.- Algebra.- Decomposition of Semi-Algebraic Sets.- Elements of Topology.- Quantitative Semi-algebraic Geometry.- Complexity of Basic Algorithms.- Cauchy Index and Applications.- Real Roots.- Cylindrical Decomposition Algorithm.- Polynomial System Solving.- Existential Theory of the Reals.- Quantifier Elimination.- Computing Roadmaps and Connected Components of Algebraic Sets.- Computing Roadmaps and Connected Components of Semi-algebraic Sets.
Produktsicherheitsverordnung
Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg
Inhalt
Introduction.- 1 Algebraically Closed Fields.- 2 Real Closed Fields.- 3 Semi-Algebraic Sets.- 4 Algebra.- 5 Decomposition of Semi-Algebraic Sets.- 6 Elements of Topology.- 7 Quantitative Semi-Algebraic Geometry.- 8 Complexity of Basic Algorithms.- 9 Cauchy Index and Applications.- 10 Real Roots.- 11 Cylindrical Decomposition Algorithm.- 12 Polynomial System Solving.- 13 Existential Theory of the Reals.- 14 Quantifier Elimination.- 15 Computing Roadmaps and Connected Components of Algebraic Sets.- 16 Computing Roadmaps and Connected Components of Semi-Algebraic Sets.- References.- Index of Notation.- Index.
