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 COMPUTATION USING CASCADING, International Journal of Computational Geometry & Applications, vol.11, issue.03, pp.245-266, 2001. ,
DOI : 10.1142/S0218195901000493
Generating formally certified bounds on values and round-off errors, 6th Conference on Real Numbers and Computers, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00070739
Efficient exact geometric predicates for Delaunay triangulations, Proc. 5th Workshop Algorithm Eng. Exper, 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
Classroom Examples of Robustness Problems in Geometric Computations, Proc. 12th European Symposium on Algorithms, pp.702-713, 2004. ,
DOI : 10.1007/978-3-540-30140-0_62
URL : https://hal.archives-ouvertes.fr/inria-00344515
Automatic generation of staged geometric predicates, International Conference on Functional Programming, 2001. ,
Interval methods for systems of equations, 1990. ,
DOI : 10.1017/CBO9780511526473
De la géométrie algorithmique au calcul géométrique, Thèse de doctorat en sciences, p.619, 1999. ,
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
An American national standard: IEEE standard for binary floating point arithmetic, ACM SIGPLAN Notices, vol.22, issue.2, pp.9-25, 1987. ,
THE EXACT COMPUTATION PARADIGM, Computing in Euclidean Geometry, pp.452-492, 1995. ,
DOI : 10.1142/9789812831699_0011