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 give a worst-case complexity of this algorithm and describe how the implementation is tested.
Document type :
Journal articles
Liste complète des métadonnées

https://hal.inria.fr/hal-01394289
Contributor : Vincent Lefèvre <>
Submitted on : Monday, April 10, 2017 - 11:20:11 AM
Last modification on : Tuesday, October 9, 2018 - 2:21:24 PM
Document(s) archivé(s) le : Tuesday, July 11, 2017 - 12:35:48 PM

File

ieeetc2017-mpfrsum-auth.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Vincent Lefèvre. Correctly Rounded Arbitrary-Precision Floating-Point Summation. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2017, 66 (12), pp.14. ⟨10.1109/TC.2017.2690632⟩. ⟨hal-01394289v2⟩

Share

Metrics

Record views

301

Files downloads

136