Algorithmic and quantitative real algebraic geometry : DIMACS Workshop, Algorithmic and Quantitative Aspects of Real Algebraic, Geometry in Mathematics and Computer Science, March 12-16, 2001, DIMACS Center - Basu, Saugata, 1968-; González-Vega, Laureano. (DIMACS series in discrete mathematics and theoretical computer science, 2003)