Algorithmic and Quantitative Real Algebraic Geometry: DIMACS Series in Discrete Mathematics and Theoretical Computer Science Vol.60(2003) (1652672194)