Correctly Rounded Arbitrary-Precision Floating-Point Summation

Vincent Lefèvre

Preprints, Working Papers, ... Year : 2015

Correctly Rounded Arbitrary-Precision Floating-Point Summation

(1)

Vincent Lefèvre

Function : Author
PersonId : 530
IdHAL : vinc17
ORCID : 0000-0002-4045-8273
IdRef : 258258659

Arithmetic and Computing

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.

Keywords

summation floating point arbitrary precision multiple precision correct rounding

Domains

Computer Arithmetic

Fichier principal

mpfr-sum.pdf (129.49 Ko)

Origin : Files produced by the author(s)

Vincent Lefèvre : Connect in order to contact the contributor

https://inria.hal.science/hal-01242127

Submitted on : Friday, December 11, 2015-2:58:44 PM

Last modification on : Thursday, May 11, 2023-11:56:11 AM

Long-term archiving on: Saturday, March 12, 2016-2:20:13 PM

Dates and versions

hal-01242127 , version 1 (11-12-2015)

hal-01242127 , version 2 (17-03-2016)

hal-01242127 , version 3 (07-11-2016)

Identifiers

HAL Id : hal-01242127 , version 1

Cite

Vincent Lefèvre. Correctly Rounded Arbitrary-Precision Floating-Point Summation. 2015. ⟨hal-01242127v1⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

262 View

238 Download

Correctly Rounded Arbitrary-Precision Floating-Point Summation

Abstract

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Share