Algorithmic Semi-algebraic Geometry and Topology -- Recent Progress and Open Problems

Saugata Basu

We give a survey of algorithms for computing topological invariants of semi-algebraic sets with special emphasis on the more recent developments in designing algorithms for computi…