International audienceWe 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
International audienceThis paper presents a multiple-precision binary floating-point library, writte...
AbstractSummation is a basic operation in scientific computing; furthermore division-free arithmetic...
Laboratoire LIP : CNRS/ENS Lyon/INRIA/Université Lyon 1We introduce two algorithms for accurately ev...
International audienceWe present a fast algorithm together with its low-level implementation of corr...
International audienceThis paper presents a study of some basic blocks needed in the design of float...
10 pagesInternational audienceThis paper presents a study of some basic blocks needed in the design ...
Conference URL: http://cca-net.de/rnc6/We study the multiple-precision addition of two positive floa...
This paper presents a multiple-precision binary floating-point library, written in the ISO C languag...
International audienceRounding to odd is a non-standard rounding on floating-point numbers. By using...
Abstract. Given a vector of floating-point numbers with exact sum s, we present an algorithm for cal...
International audienceSome modern processors include decimal floating-point units, with a conforming...
23 pagesWe introduce several algorithms for accurately evaluating powers to a positive integer in fl...
International audienceFloating-point (FP) addition is non-associative and parallel reduction involvi...
Abstract. In this Part II of this paper we first refine the analysis of error-free vector transforma...
International audienceWe introduce an algorithm for multiplying a floating-point number $x$ by a con...
International audienceThis paper presents a multiple-precision binary floating-point library, writte...
AbstractSummation is a basic operation in scientific computing; furthermore division-free arithmetic...
Laboratoire LIP : CNRS/ENS Lyon/INRIA/Université Lyon 1We introduce two algorithms for accurately ev...
International audienceWe present a fast algorithm together with its low-level implementation of corr...
International audienceThis paper presents a study of some basic blocks needed in the design of float...
10 pagesInternational audienceThis paper presents a study of some basic blocks needed in the design ...
Conference URL: http://cca-net.de/rnc6/We study the multiple-precision addition of two positive floa...
This paper presents a multiple-precision binary floating-point library, written in the ISO C languag...
International audienceRounding to odd is a non-standard rounding on floating-point numbers. By using...
Abstract. Given a vector of floating-point numbers with exact sum s, we present an algorithm for cal...
International audienceSome modern processors include decimal floating-point units, with a conforming...
23 pagesWe introduce several algorithms for accurately evaluating powers to a positive integer in fl...
International audienceFloating-point (FP) addition is non-associative and parallel reduction involvi...
Abstract. In this Part II of this paper we first refine the analysis of error-free vector transforma...
International audienceWe introduce an algorithm for multiplying a floating-point number $x$ by a con...
International audienceThis paper presents a multiple-precision binary floating-point library, writte...
AbstractSummation is a basic operation in scientific computing; furthermore division-free arithmetic...
Laboratoire LIP : CNRS/ENS Lyon/INRIA/Université Lyon 1We introduce two algorithms for accurately ev...
DOI
Add to ORKG