Correctly Rounded Arbitrary-Precision Floating-Point Summation - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail 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
mpfr-sum.pdf (130.02 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 : jeudi 17 mars 2016-15:49:46

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

Archivage à long terme le : dimanche 19 juin 2016-23:23:51

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)

Identifiants

  • HAL Id : hal-01242127 , version 2

Citer

Vincent Lefèvre. Correctly Rounded Arbitrary-Precision Floating-Point Summation. 2016. ⟨hal-01242127v2⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
301 Consultations
265 Téléchargements

Partager

More