Applied Topology and Algorithmic Semi-Algebraic Geometry