Real Algebraic Geometry for Geometric Constraints - Frank Sottile (2016)