Algorithms in real algebraic geometry - Basu, Saugata (Algorithms and Computation in Mathematics, 2006)