GNU MPFR is an efficient arbitrary-precision floating-point library with well-defined semantics (copying the good ideas from the IEEE 754 standard), in particular correct rounding in 5 rounding modes. It provides about 100 mathematical functions, in addition to utility functions (assignments, conversions...). Special data (Not a Number, infinities, signed zeros) are handled like in the IEEE 754 standard. GNU MPFR is based on the mpn and mpz layers of the GMP library.GNU MPFR est une bibliothèque de calcul en virgule flottante efficace en précision arbitraire et avec une sémantique bien définie (reprenant les bonnes idées de la norme IEEE 754), en particulier l'arrondi correct dans 5 modes d'arrondi. Elle fournit environ 100 fonctions mathém...
International audienceThe IEEE 1788-2015 has standardized interval arithmetic. However, few librarie...
International audienceWe describe the mechanisms and implementation of a library that define a decim...
This paper justifies why an arbitrary precision interval arithmetic is needed: to provide accurate r...
GNU MPFR is an efficient arbitrary-precision floating-point library with well-defined semantics (cop...
International audienceThis paper presents a multiple-precision binary floating-point library, writte...
International audienceWe describe algorithms used to optimize the GNU MPFR library when the operands...
This paper presents a multiple-precision binary floating-point library, written in the ISO C languag...
The R package Rmpfr allows to use arbitrarily precise numbers instead of R’s double precision number...
Colloque avec actes et comité de lecture. internationale.International audienceMPFI is a library imp...
International audienceThis article presents a few applications where reliable computations are obtai...
The R package Rmpfr allows to use arbitrarily precise numbers instead of R’s double precision number...
International audienceWe present a fast algorithm together with its low-level implementation of corr...
The representation formats and behaviors of floating point arithmetics available in computers are de...
Abstract only.International audienceSearching for the hardest-to-round cases for the correct roundin...
Conference URL: http://cca-net.de/rnc6/We study the multiple-precision addition of two positive floa...
International audienceThe IEEE 1788-2015 has standardized interval arithmetic. However, few librarie...
International audienceWe describe the mechanisms and implementation of a library that define a decim...
This paper justifies why an arbitrary precision interval arithmetic is needed: to provide accurate r...
GNU MPFR is an efficient arbitrary-precision floating-point library with well-defined semantics (cop...
International audienceThis paper presents a multiple-precision binary floating-point library, writte...
International audienceWe describe algorithms used to optimize the GNU MPFR library when the operands...
This paper presents a multiple-precision binary floating-point library, written in the ISO C languag...
The R package Rmpfr allows to use arbitrarily precise numbers instead of R’s double precision number...
Colloque avec actes et comité de lecture. internationale.International audienceMPFI is a library imp...
International audienceThis article presents a few applications where reliable computations are obtai...
The R package Rmpfr allows to use arbitrarily precise numbers instead of R’s double precision number...
International audienceWe present a fast algorithm together with its low-level implementation of corr...
The representation formats and behaviors of floating point arithmetics available in computers are de...
Abstract only.International audienceSearching for the hardest-to-round cases for the correct roundin...
Conference URL: http://cca-net.de/rnc6/We study the multiple-precision addition of two positive floa...
International audienceThe IEEE 1788-2015 has standardized interval arithmetic. However, few librarie...
International audienceWe describe the mechanisms and implementation of a library that define a decim...
This paper justifies why an arbitrary precision interval arithmetic is needed: to provide accurate r...