Correctly Rounded Arbitrary-Precision Floating-Point Summation - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2016

Correctly Rounded Arbitrary-Precision Floating-Point Summation

Vincent Lefèvre

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Licence

Identifiants

Citer

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⟩
303 Consultations
266 Téléchargements

Altmetric

Partager

More