Text this: Algorithmic and quantitative real algebraic geometry :