1. Introduction to Interval Analysis;Moore,2009
2. Numeric and certified isolation of the singularities of the projection of a smooth space curve;Imbach,2016
3. A numerical approach to compute the topology of the apparent contour of a smooth mapping from R2 to R2;Delanoue;J. Comput. Appl. Math.,2014
4. Ideals, varieties, and algorithms: An introduction to computational algebraic geometry and commutative algebra;Cox,1992
5. Algorithms in Real Algebraic Geometry;Basu,2006