dimacs 1996: Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science