Algorithms in Real Algebraic Geometry (2006)

by S Basu, R Pollack, M-F Roy