TY - RPRT TI - Algorithmic Semi-algebraic Geometry and Topology -- Recent Progress and Open Problems AU - Saugata Basu PY - 2007 UR - https://arxiv.org/abs/0708.2854 ID - 0708.2854 ER -