-
Correctly Rounded Exponential Function in Double Precision Arithmetic
We present an algorithm for implementing correctly rounded exponentials in double-precision floating point arithmetic. This algorithm is based on floating-point... -
Contributions to floating-point arithmetic : Coding and correct rounding of a...
Efficient and reliable computer arithmetic is a key requirement to perform fast and reliable numerical computations. The choice of the number system and the choice of... -
Contributions to the Formal Verification of Arithmetic Algorithms
The Floating-Point (FP) implementation of a real-valued function is performed with correct rounding if the output is always equal to the rounding of the exact value,... -
MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding
This paper presents a multiple-precision binary floating-point library, written in the ISO C language, and based on the GNU MP library. Its particularity is to extend... -
Multiple-Precision Correctly Rounded Gauss-Legendre Quadrature
Numerical integration is an operation that is frequently available in multiple precision numerical software packages. The different quadrature schemes used are... -
Correctly Rounded Newton-Cotes Quadrature
Numerical integration is an important operation for scientific computations. Although the different quadrature methods have been well studied from a mathematical point... -
The Euclidean Division Implemented with a Floating-Point Division and a Floor
We study conditions under which the Euclidean division can be implemented using a floating-point division followed by a floor function. We show that under reasonable... -
SIPE: Small Integer Plus Exponent
International audience -
Multiple precision evaluation of the Airy Ai function with reduced cancellation
International audience -
GPU-Accelerated Generation of Correctly Rounded Elementary Functions
International audience -
Some issues related to double roundings
International audience -
On Ziv's rounding test
International audience -
Sipe: a Mini-Library for Very Low Precision Computations with Correct Rounding
Sipe is a mini-library in the form of a C header file, to perform radix-2 floating-point computations in very low precisions with correct rounding, either to nearest... -
Proposal for a Standardization of Mathematical Function Implementation in Flo...
Article dans revue scientifique avec comité de lecture. internationale.
