MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2005

MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding

Résumé

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 ideas from the IEEE-754 standard to arbitrary precision, by providing correct rounding and exceptions. We demonstrate how these strong semantics are achieved | with no signicant slowdown with respect to other tools | and discuss a few applications where such a library can be useful.
Fichier principal
Vignette du fichier
RR-5753.pdf (166.03 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00070266 , version 1 (19-05-2006)

Identifiants

  • HAL Id : inria-00070266 , version 1

Citer

Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann. MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding. [Research Report] RR-5753, INRIA. 2005, pp.15. ⟨inria-00070266⟩
946 Consultations
2561 Téléchargements

Partager

Gmail Facebook X LinkedIn More