On the computation of correctly-rounded sums

Proceedings - Symposium on Computer Arithmetic

Volumn , Issue , 2009, Pages 155-160

  Kornerup, P ^a   Lefevre V ^b   Louvet, N ^b   Muller, J M ^b  

^a UNIVERSITY OF SOUTHERN DENMARK   (Denmark)

^b UNIVERSITÉ DE LYON   (France)

Author keywords

2Sum and Fast2Sum algorithms; Correct rounding; Floating point arithmetic; Summation algorithms

Indexed keywords

2SUM AND FAST2SUM ALGORITHMS; BASIC BLOCKS; CORRECT ROUNDING; DEPENDENCY GRAPHS; FLOATING POINT NUMBERS; FLOATING-POINT ARITHMETIC; FLOATING-POINT SUMMATION; NEW RESULTS; SUMMATION ALGORITHMS;

DIGITAL ARITHMETIC;

ALGORITHMS;

EID: 70350769232     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ARITH.2009.16     Document Type: Conference Paper

References (14)

1. American National Standards Institute and Institute of Electrical and Electronic Engineers. IEEE Standard for Binary Floating-Point Arithmetic, ANSI/IEEE Standard 754-1985. New York, 1985.
2. American National Standards Institute and Institute of Electrical and Electronic Engineers. IEEE Standard for Radix Independent Floating-Point Arithmetic, ANSI/IEEE Standard 854-1987. New York, 1987.
3. S. Boldo and G. Melquiond. Emulation of a FMA and correctly-rounded sums: proved algorithms using rounding to odd. IEEE Transactions on Computers, 57(4), Apr. 2008.
4. M. Cornea, J. Harrison, and P. T. P. Tang. Scientific computing on Itanium based systems. Intel Press, 2002.
5. T. J. Dekker. A floating-point technique for extending the available precision. Numerische Mathematik, 18:224-242, 3 1971.
6. L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann. MPFR: A multiple-precision binary floatingpoint library with correct rounding. ACM Transactions on Mathematical Software, 33(2), 2007. Available at http://www.mpfr.org/.
7. IEEE Computer Society. IEEE Standard for Floating-Point Arithmetic. IEEE Standard 754-2008, Aug. 2008. Available at http://ieeexplore.ieee.org/servlet/ opac?punumber=4610933.
8. D. Knuth. The Art of Computer Programming, 3rd edition, volume 2. Addison-Wesley, Reading, MA, 1998.
9. O. Møller. Quasi double-precision in floating-point addition. BIT, 5:37-50, 1965.
10. D. Monniaux. The pitfalls of verifying floating-point computations. ACM TOPLAS, 30(3):1-41, 2008. Available at http://hal.archives-ouvertes.fr/hal- 00128124.
11. T. Ogita, S. M. Rump, and S. Oishi. Accurate sum and dot product. SIAM Journal on Scientific Computing, 26(6):1955-1988, 2005.
12. M. Pichat. Correction d'une somme en arithmétique à virgule flottante (in French). Numerische Mathematik, 19:400-406, 1972.
13. D. Priest. On Properties of Floating-Point Arithmetics: Numerical Stability and the Cost of Accurate Computations. PhD thesis, University of California at Berkeley, 1992.
14. J. R. Shewchuk. Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates. Discrete Computational Geometry, 18:305-363, 1997.