Vadim Shapiro Homotopy Conditions for Tolerant Geometric Queries. 162-180 2008 Reliable Implementation of Real Number Algorithms http://dx.doi.org/10.1007/978-3-540-85521-7_10 conf/dagstuhl/2008real db/conf/dagstuhl/real2008.html#Shapiro08