Correctly Rounded Arbitrary-Precision Floating-Point Summation
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.
Fichier principal
arith23.pdf (130.19 Ko)
Télécharger le fichier
annex.zip (96.19 Ko)
Télécharger le fichier
Origin | Files produced by the author(s) |
---|
Origin | Files produced by the author(s) |
---|
Loading...