-
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.
