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-; Gonzalez-Vega, Laureano (DIMACS series in discrete mathematics and theoretical computer science,, 2003)