323

QA

9.58

.B3

Basu, Saugata, 1968-

Saugata Basu, Richard Pollack, Marie-Françoise Roy

2nd ed

Springer

1 online resource (ix, 668 pages) : illustrations

Algorithms and computation in mathematics 1431-1550 v. 10

Includes bibliographical references (pages [587]-593) and indexes , 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 , Mode of access: World Wide Web

AU Pollack, Richard , AU Roy, M.-F. (Marie-Françoise) , CO Ohio Library and Information Network , SE Algorithms and computation in mathematics v. 10.