Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics, Vol. 10)