arrow
Return

Correctly Rounded Arbitrary-Precision Floating-Point Summation

delete2017-12-01
delete3
delete
OA
AI
V
Vincent Lefèvre *
DOI:10.1109/TC.2017.2690632delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
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.
Keywords:
Summation
floating point
arbitrary precision
multiple precision
correct rounding
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

IEEE Transactions on Computers cover
IEEE Transactions on Computers
IF:
3.8
Papers:
5.3K
Citations:
9.8K

Organization

E
ecole normale superieure de lyon (ens de lyon)
Scholars:
5.1K
Papers: 3.6K
Citations: 6