Correctly Rounded Arbitrary-Precision Floating-Point Summation - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2016

Correctly Rounded Arbitrary-Precision Floating-Point Summation

Vincent Lefèvre

Abstract

We present a fast algorithm together with its low-level implementation of correctly rounded arbitrary-precision floating-point summation. The arithmetic is the one used by the GNU MPFR library: radix 2; no subnormals; each variable (each input and the output) has its own precision. We also describe how the implementation is tested.
Fichier principal
Vignette du fichier
arith23.pdf (130.19 Ko) Télécharger le fichier
annex.zip (96.19 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01242127 , version 1 (11-12-2015)
hal-01242127 , version 2 (17-03-2016)
hal-01242127 , version 3 (07-11-2016)

Licence

Identifiers

Cite

Vincent Lefèvre. Correctly Rounded Arbitrary-Precision Floating-Point Summation. 23rd IEEE Symposium on Computer Arithmetic (ARITH), Jul 2016, Santa Clara, CA, United States. ⟨10.1109/ARITH.2016.9⟩. ⟨hal-01242127v3⟩
301 View
265 Download

Altmetric

Share

More