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=10.1.1.83.4378
IEEE Standard for Binary Floating-Point Arithmetic, 1985. ,
Accurate and Efficient Floating Point Summation, SIAM Journal on Scientific Computing, vol.25, issue.4, pp.1214-1248, 2003. ,
DOI : 10.1137/S1064827502407627
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
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
Reliable line segment intersection testing, Computer-Aided Design, vol.32, issue.12, pp.737-745, 2000. ,
DOI : 10.1016/S0010-4485(00)00050-6
The Accuracy of Floating Point Summation, SIAM Journal on Scientific Computing, vol.14, issue.4, pp.783-799, 1993. ,
DOI : 10.1137/0914050
Accuracy and stability of numerical algorithms ,
DOI : 10.1137/1.9780898718027
Pracniques: further remarks on reducing truncation errors, Communications of the ACM, vol.8, issue.1, p.40, 1965. ,
DOI : 10.1145/363707.363723
The art of computer programming, Seminumerical algorithms, 1998. ,
Accurate floating-point summation, Communications of the ACM, vol.13, issue.6, pp.361-362, 1970. ,
DOI : 10.1145/362384.362498
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
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
Interval analysis, 1966. ,
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
On properties of floating point arithmetics: numerical stability and the cost of accurate computations, 1992. ,
CSL notebook entry: The braiding of floating point lines. unpublished note, Xerox PARC, 1982. ,
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
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
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
Geometric computations with interval and new robust methods: with applications in computer graphics, Gis and computational geometry, 2003. ,
DOI : 10.1533/9780857099518
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
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