Correctly Rounded Arbitrary-Precision Floating-Point Summation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
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 : jeudi 11 mai 2023-11:56:11

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
259 Consultations
238 Téléchargements

Partager

Gmail Facebook X LinkedIn More