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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/hal-01242127
Contributor : Vincent Lefèvre <>
Submitted on : Monday, November 7, 2016 - 11:41:55 AM
Last modification on : Friday, April 20, 2018 - 3:44:26 PM
Document(s) archivé(s) le : Wednesday, February 8, 2017 - 1:58:15 PM

Files

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

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. ⟨10.1109/ARITH.2016.9⟩. ⟨hal-01242127v3⟩

Share

Metrics

Record views

255

Files downloads

109