Semialgebraic Geometry
摘要
Chapter 4 contains an introduction to central concepts from semialgebraic geometry, such as connected components, dimension or semialgebraic paths. Among the main results are the finiteness theorem and cylindrical algebraic decomposition of semialgebraic sets. Usefulness of the real spectrum is emphasized throughout.