Correctly Rounded Arbitrary-Precision Floating-Point Summation

Vincent Lefèvre 1
1 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
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.
Type de document :
Communication dans un congrès
23rd IEEE Symposium on Computer Arithmetic (ARITH), Jul 2016, Santa Clara, CA, United States. IEEE, 2016, 〈http://arith23.gforge.inria.fr/〉. 〈10.1109/ARITH.2016.9〉
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01242127
Contributeur : Vincent Lefèvre <>
Soumis le : lundi 7 novembre 2016 - 11:41:55
Dernière modification le : mardi 8 novembre 2016 - 01:04:08
Document(s) archivé(s) le : mercredi 8 février 2017 - 13:58:15

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Collections

Citation

Vincent Lefèvre. Correctly Rounded Arbitrary-Precision Floating-Point Summation. 23rd IEEE Symposium on Computer Arithmetic (ARITH), Jul 2016, Santa Clara, CA, United States. IEEE, 2016, 〈http://arith23.gforge.inria.fr/〉. 〈10.1109/ARITH.2016.9〉. 〈hal-01242127v3〉

Partager

Métriques

Consultations de
la notice

132

Téléchargements du document

73