Basu, Saugata: Algorithms in Real Algebraic Geometry