Algorithms in real algebraic geometry (2003)

by S Basu, R Pollack, M F Roy
Venue:of Algorithms and Computation in Mathematics