Algorithms in real algebraic geometry - Basu, Saugata; Pollack, Richard; Roy, Marie-Françoise 1950- (Algorithms and computation in mathematics, 2003)