Accurate sum and dot product

SIAM Journal on Scientific Computing

Volumn 26, Issue 6, 2005, Pages 1955-1988

  Ogita, Takeshi ^a   Rump, Siegfried M ^b   Oishi, Shin'ichi ^a  

^a WASEDA UNIVERSITY   (Japan)

^b HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Accurate dot product; Accurate summation; Fast algorithms; High precision; Verified error bounds

Indexed keywords

ALGORITHMS; BOUNDARY CONDITIONS; BOUNDARY VALUE PROBLEMS; COMPUTATIONAL METHODS; ERROR ANALYSIS;

ACCURATE DOT PRODUCT; ACCURATE SUMMATION; FAST ALGORITHMS; HIGH PRECISION; VERIFIED ERROR BOUNDS;

COMPUTATIONAL COMPLEXITY;

EID: 27844511745     PISSN: 10648275     EISSN: None     Source Type: Journal    
DOI: 10.1137/030601818     Document Type: Article

References (44)

1. I. J. ANDERSON, A distillation algorithm for floating-point summation, SIAM J. Sci. Comput., 20 (1999), pp. 1797-1806.
2. ANSI/IEEE, IEEE Standard for Binary Floating Point Arithmetic, Std 754-1985 ed., IEEE, New York, 1985.
3. I. BABUŠKA, Numerical stability in mathematical analysis, in Proceedings of the IFIP Congress, Information Processing 68, North-Holland, Amsterdam, 1969, pp. 11-23.
4. D. H. BAILEY, A Fortran-90 double-double precision library, http://crd.lbl.gov/~dhbailey/mpdist/mpdist.html.
5. D. H. BAILEY, A Fortran-90 based multiprecision system, ACM Trans. Math. Software, 21 (1995), pp. 379-387.
6. G. BOHLENDER, Floating-point computation of functions with maximum accuracy, IEEE Trans. Comput., 26 (1977), pp. 621-632.
7. G. BOHLENDER, W. WALTER, P. KORNERUP, AND D. W. MATULA, Semantics for exact floating point operations, in Proceedings of the 10th IEEE Symposium on Computer Arithmetic, P. Kornerup and D. W. Matula, eds., Grenoble, France, 1991, IEEE Press, pp. 22-26.
8. S. BOLDO AND M. DAUMAS, Representable correcting terms for possibly underflowing floating point operations, in Proceedings of the 16th IEEE Symposium on Computer Arithmetic, J.-C. Bajard and M. Schulte, eds., Santiago de Compostela, Spain, 2003, IEEE Press, pp. 79-86.
9. K. L. CLARKSON, Safe and effective determinant evaluation, in Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, Pittsburgh, PA, 1992, IEEE Press, pp. 387-395.
10. T. J. DEKKER, A floating-point technique for extending the available precision, Numer. Math., 18 (1971), pp. 224-242.
11. J. DEMMEL AND Y. HIDA, Accurate and efficient floating point summation, SIAM J. Sci. Comput., 25 (2003), pp. 1214-1248.
12. J. GRABMEIER, E. KALTOFEN, AND V. WEISPFENNIG, Computer Algebra Handbook, Springer, Berlin, 2003.
13. J. R. HAUSER, Handling floating-point exceptions in numeric programs, ACM Trans. Program. Lang. Syst., 18 (1996), pp. 139-174.
14. N. J. HIGHAM, The accuracy of floating point summation, SIAM J. Sci. Comput., 14 (1993), pp. 783-799.
15. N. J. HIGHAM, Accuracy and Stability of Numerical Algorithms, Second Edition, SIAM, Philadelphia, 2002.
16. H. HLAVACS AND C. W. UEBERHUBER, Improving the Accuracy of Numerical Integration, Technical report TR 2001-06, Aurora, 2001.
17. M. JANKOWSKI, A. SMOKTUNOWICZ, AND H. WOŹNIAKOWSKI, A note on floating-point summation of very many terms, Electron. Informationsverarb. Kybernet., 19 (1983), pp. 435-440.
18. M. JANKOWSKI AND H. WOZNIAKOWSKI, The accurate solution of certain continuous problems using only single precision arithmetic, BIT, 25 (1985), pp. 635-651.
19. W. KAHAN, A survey of error analysis, in Proceedings of the IFIP Congress, Information Processing 71, North-Holland, Amsterdam, 1972, pp. 1214-1239.
20. W. KAHAN, Implementation of Algorithms (Lecture Notes by W. 3. Haugeland and D. Hough), Technical Report 20, Department of Computer Science, University of California, Berkeley, CA, 1973.
21. W. KAHAN, Doubled-precision IEEE standard 754 floating point arithmetic, manuscript, 1987.
22. A. KIELBASZIŃSKI, Summation algorithm with corrections and some of its applications, Math. Stos., 1 (1973), pp. 22-41.
23. D. E. KNUTH, The Art of Computer Programming: Seminumerical Algorithms, vol. 2, Addison-Wesley, Reading, MA, 1969.
24. U. W. KULISCH AND W. L. MIRANKER, The arithmetic of the digital computer: A new approach, SIAM Rev., 28 (1986), pp. 1-40.
25. H. LEUPRECHT AND W. OBERAIGNER, Parallel algorithms for the rounding exact summation of floating point numbers, Computing, 28 (1982), pp. 89-104.
26. X. LI, J. DEMMEL, D. BAILEY, G. HENRY, Y. HIDA, J. ISKANDAR, W. KAHAN, S. KANG, A. KAPUR, M. MARTIN, B. THOMPSON, T. TUNG, AND D. YOO, Design, implementation and testing of extended and mixed precision BLAS, ACM Trans. Math. Software, 28 (2002), pp. 152-205.
27. S. LINNAINMAA, Software for doubled-precision floating point computations, ACM Trans. Math. Software, 7 (1981), pp. 272-283.
28. M. MALCOLM, On accurate floating-point summation, Comm. ACM, 14 (1971), pp. 731-736.
29. O. MØLLER, Quasi double precision in floating-point arithmetic, BIT, 5 (1965), pp. 37-50.
30. F. MOSTELLER AND J. W. TUKEY, Data Analysis and Linear Regression, Addison-Wesley, Reading, MA, 1977.
31. A. NEUMAIER, Rundungsfehleranalyse einiger Verfahren zur Summation endlicher Summen, Z. Angew. Math. Mech., 54 (1974), pp. 39-51.
32. K. NICKEL, Das Kahan-Babuškasche Summierungsverfahren in Triplex-ALGOL 60, Z. Angew. Math. Mech., 50 (1970), pp. 369-373.
33. Y. NIEVERGELT, Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit, ACM Trans. Math. Software, 29 (2003), pp. 27-48.
34. J. PEÑA, Computing the Distance to Infeasibility: Theoretical and Practical Issues, Technical Report, Center for Applied Mathematics, Cornell University, Ithaca, NY, 1998.
35. M. PICHAT, Correction d'une somme en arithmetique à virgule flottante, Numer. Math., 19 (1972), pp. 400-406.
36. D. M. PRIEST, Algorithms for arbitrary precision floating point arithmetic, in Proceedings of the 10th IEEE Symposium on Computer Arithmetic, P. Kornerup and D. W. Matula, eds., Grenoble, France, 1991, IEEE Press, pp. 132-145.
37. D. M. PRIEST, On Properties of Floating Point Arithmetics: Numerical Stability and the Cost of Accurate Computations, Ph.D. thesis, University of California at Berkeley, CA, 1992.
38. D. R. ROSS, Reducing truncation errors using cascading accumulators, Comm. ACM, 8 (1965), pp. 32-33.
39. S. M. RUMP, INTLAB - INTerval LABoratory, in Developments in Reliable Computing, T. Csendes, ed., Kluwer, Dordrecht, The Netherlands, 1999, pp. 77-104.
40. S. M. RUMP, Self-validating methods, Linear Algebra Appl., 324 (2001), pp. 3-13.
41. J. R. SHEWCHUK, Adaptive precision floating-point arithmetic and fast robust geometric predicates, Discrete Comput. Geom., 18 (1997), pp. 305-363.
42. R. D. SKEEL, Iterative refinement implies numerical stability for Gaussian elimination, Math. Comp., 35 (1980), pp. 817-832.
43. THE MATHWORKS INC., Matlab user's guide, version 7, 2004.
44. G. ZIELKE AND V. DRYGALLA, Genaue Lösung Linearer Gleichungssysteme, GAMM Mitt. Ges. Angew. Math. Mech., 26 (2003), pp. 7-107.