Accurate floating-point summation part II: Sign. Κ-Fold faithful and rounding to nearest

SIAM Journal on Scientific Computing

Volumn 31, Issue 2, 2008, Pages 1269-1302

  Rumpt, Siegfried M ^a,b   Ogita, Takeshi ^b,c   Oishi, ShiN'Ichi ^b  

^a HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

^b WASEDA UNIVERSITY   (Japan)

^c TOKYO WOMAN'S CHRISTIAN UNIVERSITY   (Japan)

Author keywords

Directed rounding; Distillation; Error analysis; Error free transformations; Faithful rounding; High accuracy; Maximally accurate summation; Rounding to nearest; Sign; XBLAS; fold accuracy

Indexed keywords

DIGITAL ARITHMETIC; DISTILLATION; ERROR ANALYSIS;

DIRECTED ROUNDING; ERROR-FREE TRANSFORMATIONS; FAITHFUL ROUNDING; FLOATING POINT NUMBERS; HIGH-ACCURACY; MAXIMALLY ACCURATE SUMMATION; ROUNDING TO NEAR; SIGN; XBLAS; Κ-FOLD ACCURACY;

VECTORS;

EID: 67649610606     PISSN: 10648275     EISSN: None     Source Type: Journal    
DOI: 10.1137/07068816X     Document Type: Article

References (27)

1. XBLAS: A Reference Implementation for Extended and Mixed Precision BLAS. http://crd.lbl. gov/~xiaoye/XBLAS/.
2. D. BAILEY, A Fortran-90 based multiprecision system. ACM Trans. Math. Software. 21 (1995). pp. 379-387.
3. R. BRENT, A Fortran Multiple-Precision Arithmetic Package. Technical report. Dept. of Computer Science. Australian National University. Canberra. 1975.
4. M. DAUMAS AND D. MATULA, Validated roundings of dot products by sticky accumulation. IEEE Trans. Comput., 46 (1997). pp. 623-629.
5. T. DEKKER, A floating-point technique for extending the available precision. Numer. Math., 18 (1971). pp. 224-242.
6. L. FOUSSE, G. HANROT, V. LEFEVRE, P. PÉLISSIER, AND P. ZLMMERMANN, MPFR: A multiple- precision binary floating-point library with correct rounding. ACM Trans. Math. Software. 33 (2007). 15 pages.
7. GNU multiple precision arithmetic library (GMP). version 4.1.2., 2003. Code and documentation available at http://swox.com/gmp.
8. S. GRAILLAT. P. LANGLOIS, AND N. LOUVET, Improving the compensated Horner scheme with a fused multiply and add. Proceedings of the ACM Symposium on Applied Computing. CMS-109. 2006. pp. 1323-1327.
9. N. HIGHAM, Accuracy and Stability of Numerical Algori thms. 2nd ed., SIAM Publications. Philadelphia. 2002.
10. ANSI/IEEE 754-1985. Standard for binary floating-point arithmetic. 1985.
11. D. KNUTH, The Art of Computer Programming: Seminumerical Algorithms. Vol. 2.Addison Wesley. Reading. MA. 1969.
12. U. KULISCH AND W. MIRANKER, Arithmetic operations in interval spaces. Comput., Suppl., 2 (1980). pp. 51-67.
13. P. LANGLOIS AND N. LOUVET, Solving Triangular Systems more Accurately and Efficiently. Technical Report RR2005-02. Laboratoire LP2A. Uni versity of Perpignan. 2005.
14. X. LI, J. DEMMEL, D. BAILEY, G. HENRY, Y. HIDA, J. ISKANDAR, W. KAHAN, S. KANG, A. KAPUR, M. MARTIN, B. THOMPSON, T. TUNG. AN D D. YOO, Design. implementation and testing ofextended and mixed precision BLAS. AC M Trans. Math. Software. 28 (2002). pp. 152-205.
15. N. LOUVET, private communication. 2006.
16. M. MALCOLM, On accurate floating-point summation. Comm. ACM. 14 (1971). pp. 731-736.
17. A. NEUMAIER, Rundungsfehleranalyse einiger verfahren zur summation endlicher summen. Zeitschrift fur Angew. Math. Mech. (ZAMM). 54 (1974). pp. 39-51.
18. T. OGITA, S. RUMP, AND S. OISHI, Accurate sum and dot product. SIAM J. Sci. Comput., 26 (2005). pp. 1955-1988.
19. D. PRIEST, Algorithms for arbitrary precision floating point arithmetic. in Proceedings of the 10th Symposium on Computer Arithmetic. P. Kornerup and D. Matula. eds., IEEE Computer Society Press. Grenoble. France. 1991. pp. 132- 145.
20. D. PRIEST, On properties of floating point arithmetics: Numerical stability and the cost of accurate computations. Ph.D. thesis. Mathematics Department. University of California at Berkeley. CA. 1992. ftp://ftp.icsi.berkeley.edu/pub/th eory/priest-thesis.ps.Z.
21. S. RUMP, Kleine fehlerschranken bei matrixproblemen. Ph.D. thesis. Universität Karlsruhe. 1980.
22. S. RUMP, T. OGITA, AND S. OISHI, Accurate floating-point summation I: Faithful rounding. SIAM J. Sci. Comput., 31 (2008). pp. 189-224.
23. S. M. RUMP, P. ZLMMERMANN. S. BOLDO, AND G. MELQUIOND, Computing predecessor and successor in rounding to the nearest. 2008. submitted.
24. J. SHEWCHUK, Adaptive precision floating-point arithmetic and fast robust geometric predicates. Discrete Comput. Geom., 18 (1997). pp. 305-363.
25. Y. ZHU AND W. HAYES, Fast. guaranteed-accurate sums of many floating-point numbers.in Proc. RNC7 Conference on Real Numbers and Computers. G. Hanrot and P. Zimmermann. eds., 2006. pp. 11-22.
26. Y. ZHU, J. YONG, AND G. ZHENG, A new distillation algorithm for floating-point summation. SIAM J. Sci. Comput., 26 (2005). pp. 2066-2078.
27. G. ZIELKE AND V. DRYGALLA, Genaue Losung linearer gleichungssysteme. GAMM Mitt. Ges. Angew. Math. Mech., (2003). pp. 7-108.