I. J. Anderson, A Distillation Algorithm for Floating-Point Summation, SIAM Journal on Scientific Computing, vol.20, issue.5, pp.1797-1806, 1999.
DOI : 10.1137/S1064827596314200

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. Ieee, IEEE Standard for Binary Floating-Point Arithmetic, 1985.

J. Demmel and Y. Hida, Accurate and Efficient Floating Point Summation, SIAM Journal on Scientific Computing, vol.25, issue.4, pp.1214-1248, 2003.
DOI : 10.1137/S1064827502407627

S. Fortune and C. Wyk, Efficient exact arithmetic for computational geometry, Proceedings of the ninth annual symposium on Computational geometry , SCG '93, pp.163-172, 1993.
DOI : 10.1145/160985.161015

S. Fortune and C. 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

M. Gavrilova and J. G. Rokne, Reliable line segment intersection testing, Computer-Aided Design, vol.32, issue.12, pp.737-745, 2000.
DOI : 10.1016/S0010-4485(00)00050-6

N. J. Higham, The Accuracy of Floating Point Summation, SIAM Journal on Scientific Computing, vol.14, issue.4, pp.783-799, 1993.
DOI : 10.1137/0914050

N. J. Higham, Accuracy and stability of numerical algorithms
DOI : 10.1137/1.9780898718027

W. Kahan, Pracniques: further remarks on reducing truncation errors, Communications of the ACM, vol.8, issue.1, p.40, 1965.
DOI : 10.1145/363707.363723

D. E. Knuth, The art of computer programming, Seminumerical algorithms, 1998.

P. Linz, Accurate floating-point summation, Communications of the ACM, vol.13, issue.6, pp.361-362, 1970.
DOI : 10.1145/362384.362498

G. Masotti, Floating-point numbers with error estimates, Computer-Aided Design, vol.25, issue.9, pp.524-538, 1993.
DOI : 10.1016/0010-4485(93)90069-Z

V. Milenkovic, Double precision geometry: a general technique for calculating line and segment intersections using rounded arithmetic, 30th Annual Symposium on Foundations of Computer Science, pp.500-506, 1989.
DOI : 10.1109/SFCS.1989.63525

R. E. Moore, Interval analysis, 1966.

D. M. Priest, Algorithms for arbitrary precision floating point arithmetic, [1991] Proceedings 10th IEEE Symposium on Computer Arithmetic, pp.132-143, 1991.
DOI : 10.1109/ARITH.1991.145549

D. M. Priest, On properties of floating point arithmetics: numerical stability and the cost of accurate computations, 1992.

L. Ramshaw, CSL notebook entry: The braiding of floating point lines. unpublished note, Xerox PARC, 1982.

H. Ratschek and J. Rokne, Exact computation of the sign of a finite sum, Applied Mathematics and Computation, vol.99, issue.2-3, pp.99-127, 1999.
DOI : 10.1016/S0096-3003(98)00010-1

H. Ratschek and J. Rokne, EXACT AND OPTIMAL CONVEX HULLS IN 2D, International Journal of Computational Geometry & Applications, vol.10, issue.02, pp.109-129, 2000.
DOI : 10.1142/S0218195900000085

H. Ratschek and J. Rokne, How trivial are reliable box???plane intersections?, Computer-Aided Design, vol.32, issue.11, pp.643-648, 2000.
DOI : 10.1016/S0010-4485(00)00052-X

H. Ratschek and J. Rokne, Geometric computations with interval and new robust methods: with applications in computer graphics, Gis and computational geometry, 2003.
DOI : 10.1533/9780857099518

H. Ratschek, J. Rokne, and M. Leriger, Robustness in GIS algorithm implementation with application to line simplification, International Journal of Geographical Information Science, vol.99, issue.8, pp.707-720, 2001.
DOI : 10.1080/13658810110053107

Y. Zhu, J. Yong, and G. Zheng, A New Distillation Algorithm for Floating-Point Summation, SIAM Journal on Scientific Computing, vol.26, issue.6, 2005.
DOI : 10.1137/030602009

URL : https://hal.archives-ouvertes.fr/inria-00143168