Algorithmic and Quantitative Real Algebraic Geometry

Covers topics including deciding basic algebraic properties of real semi-algebraic sets, application of quantitative results in real algebraic geometry towards investigating the computational complexity of various problems and algorithmic and quantitative questions in real enumerative geometry.