Correctly Rounded Arbitrary-Precision Floating-Point Summation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Correctly Rounded Arbitrary-Precision Floating-Point Summation

Vincent Lefèvre
Arithmetic and Computing
CV

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.

Domains

Computer Arithmetic
Fichier principal
Vignette du fichier
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)

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

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

Submitted on : Monday, November 7, 2016-11:41:55 AM

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

Long-term archiving on: Wednesday, February 8, 2017-1:58:15 PM

Download

Dates and versions

hal-01242127 , version 1 (11-12-2015)
hal-01242127 , version 2 (17-03-2016)
hal-01242127 , version 3 (07-11-2016)

Licence

Attribution

Identifiers

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 INRIA2 UDL
262 View
238 Download

Altmetric

Share

Gmail Facebook X LinkedIn More