H. Brönnimann, C. Burnikel, and S. Pion, 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

C. Burnikel, S. Funke, and M. Seel, EXACT GEOMETRIC COMPUTATION USING CASCADING, International Journal of Computational Geometry & Applications, vol.11, issue.03, pp.245-266, 2001.
DOI : 10.1142/S0218195901000493

M. Daumas and G. Melquiond, 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

O. Devillers and S. Pion, 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

S. Fortune and C. J. Van-wyk, 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

L. Kettner, K. Mehlhorn, S. Pion, S. Schirra, and C. Yap, 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

A. Nanevski, G. Blelloch, and R. Harper, Automatic generation of staged geometric predicates, International Conference on Functional Programming, 2001.

A. Neumaier, Interval methods for systems of equations, 1990.
DOI : 10.1017/CBO9780511526473

S. Pion, De la géométrie algorithmique au calcul géométrique, Thèse de doctorat en sciences, p.619, 1999.

J. R. Shewchuk, 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

D. Stevenson, An American national standard: IEEE standard for binary floating point arithmetic, ACM SIGPLAN Notices, vol.22, issue.2, pp.9-25, 1987.

C. K. Yap and T. Dubé, THE EXACT COMPUTATION PARADIGM, Computing in Euclidean Geometry, pp.452-492, 1995.
DOI : 10.1142/9789812831699_0011