Computational Geometry Algorithms Library ,
Interval arithmetic yields efficient dynamic filters for computational geometry, Discrete Applied Mathematics, vol.109, issue.1-2, pp.25-47, 2001. ,
DOI : 10.1016/S0166-218X(00)00231-6
Exact geometric predicates using cascaded computation, Proceedings of the fourteenth annual symposium on Computational geometry , SCG '98, pp.175-183, 1998. ,
DOI : 10.1145/276884.276904
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.851
Efficient exact geometric predicates for Delaunay triangulations, ALENEX, pp.37-44, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00344517
Static analysis yields efficient exact integer arithmetic for computational geometry, ACM Transactions on Graphics, vol.15, issue.3, pp.223-248, 1996. ,
DOI : 10.1145/231731.231735
Stefan Schirra and Chee-Keng Yap. Classroom examples of robustness problems in geometric computations, ESA, pp.702-713, 2004. ,
Formal certification of arithmetic filters for geometric predicates, Proc. 17th IMACS World Congress on Scientific, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00344518
Automatic generation of staged geometric predicates, International Conference on Functional Programming, pp.217-228, 2001. ,
Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates, Discrete & Computational Geometry, vol.18, issue.3, pp.305-363, 1997. ,
DOI : 10.1007/PL00009321
THE EXACT COMPUTATION PARADIGM, Computing in Euclidian Geometry, 1994. ,
DOI : 10.1142/9789812831699_0011