Algorithmic And Quantitative Real Algebraic Geometry door