Algorithms in real algebraic geometry (2006)

by S Basu, R Pollack, M Roy