Email Record: Algorithmic and quantitative real algebraic geometry :