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. : Mar 2001, New Brunswick, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 60)
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. : Mar 2001, New Brunswick, NJ.
(DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 60)