Fast and accurate floating point summation with application to computational geometry

Numerical Algorithms

Volumn 37, Issue 1-4 SPEC. ISS., 2004, Pages 101-112

  Demmel, James ^a   Hida, Yozo ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

computational geometry; floating point summation; robust geometric predicate; rounding error analysis

Indexed keywords

EID: 10044275644     PISSN: 10171398     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:NUMA.0000049458.99541.38     Document Type: Conference Paper

References (22)

1. ANSI/IEEE, IEEE standard for binary floating point arithmetic, New York, Std 754-1985 edition (1985).
2. G. Bohlender, Floating point computation of functions with maximum accuracy, IEEE Trans. Comput. 26 (1977) 621-632.
3. T. Dekker, A floating point technique for extending the available precision, Numer. Math. 18 (1971) 224-242.
4. J. Demmel and Y. Hida, Accurate floating point summation, Computer Science Division Technical Report UCB//CSD-02-1180, University of California, Berkeley, submitted to SIAM J. Sci. Comput.
5. N.J. Higham, The accuracy of floating point summation, SIAM J. Sci. Comput. 14(4) (1993) 783-799.
6. N.J. Higham, Accuracy and Stability of Numerical Algorithms (SIAM, Philadelphia, PA, 1996).
7. Intel Corporation, Intel Itanium architecture software developer's manual, Vol. 1. Intel Corporation (2002); http://developer.intel.com/design/ itanium/manuals.
8. Intel Corporation, IA-32 Intel architecture software developer's manual, Vol. 1, Intel Corporation (2002); http://developer.intel.com/design/pentium/ manuals.
9. W. Kahan, Doubled-precision IEEE standard 754 floating point arithmetic, manuscript (1987).
10. D. Knuth, The Art of Computer Programming, Vol. 2 (Addison-Wesley, Reading, MA, 1969).
11. U. Kulisch and G. Bohlender, Formalization and implementation of floating-point matrix operations, Computing 16 (1976) 239-261.
12. U. Kulisch and W.L. Miranker, Computer Arithmetic in Theory and Practice (Academic Press, New York, 1981).
13. H. Leuprecht and W. Oberaigner, Parallel algorithms for the rounding exact summation of floating point numbers, Computing 28 (1982) 89-104.
14. S. Linnainmaa, Software for doubled-precision floating point computations, ACM Trans. Math. Software 7 (1981) 272-283.
15. M. Malcolm, On accurate floating-point summation, Comm. ACM 14(11) (1971) 731-736.
16. O. Møller, Quasi double precision in floating-point arithmetic, BIT 5 (1965) 37-50.
17. M. Pichat, Correction d'une somme en arithmétique à virgule flottante, Numer. Math. 19 (1972) 400-406.
18. D. Priest, Algorithms for arbitrary precision floating point arithmetic, in: Proc. of the 10th Symposium on Computer Arithmetic, eds. P. Kornerup and D. Matula, Grenoble, France, 26-28 June 1991 (IEEE Computer Soc. Press) pp. 132-145.
19. D. Priest, On properties of floating point arithmetics: Numerical stability and the cost of accurate computations, Ph.D. thesis, University of California at Berkeley (1992); available through anonymous FTP at ftp.icsi.berkeley.edu/pub/theory/priest-thesis.ps.Z.
20. D.R. Ross, Reducing truncation errors using cascading accumulators, Comm. ACM 8(1) (1965) 32-33.
21. J.R. Shewchuk, Adaptive precision floating-point arithmetic and fast robust geometric predicates, Discrete Comput. Geometry 18(3) (1997) 305-363.
22. J.M. Wolfe, Reducing truncation errors by programming, Comm. ACM 7(6) (1964) 355-356.