MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2005

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

(1) , (1) , (1) , (1) , (1)
1

Abstract

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 and versions

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

Identifiers

  • HAL Id : inria-00070266 , version 1

Cite

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⟩
843 View
2336 Download

Share

Gmail Facebook Twitter LinkedIn More