Correctly Rounded Arbitrary-Precision Floating-Point Summation - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Correctly Rounded Arbitrary-Precision Floating-Point Summation

Vincent Lefèvre
Arithmetic and Computing
CV

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.

Domaines

Arithmétique des ordinateurs
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)

Vincent Lefèvre  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01242127

Soumis le : lundi 7 novembre 2016-11:41:55

Dernière modification le : mardi 12 novembre 2024-15:20:07

Archivage à long terme le : mercredi 8 février 2017-13:58:15

Télécharger pour visualiser

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

Paternité

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 INRIA2 UDL
301 Consultations
265 Téléchargements

Altmetric

Partager

More