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

Keywords

MULTIPLE-PRECISION ARITHMETIC IEEE-754 STANDARD FLOATING-POINT ARITHMETIC CORRECT ROUNDING ELEMENTARY FUNCTION PORTABLE SOFTWARE

Domains

Numerical Analysis [cs.NA] Other [cs.OH]

Fichier principal

RR-5753.pdf (166.03 Ko)

Rapport De Recherche Inria : Connect in order to contact the contributor

https://inria.hal.science/inria-00070266

Submitted on : Friday, May 19, 2006-7:47:07 PM

Last modification on : Friday, March 24, 2023-2:52:47 PM

Long-term archiving on: Sunday, April 4, 2010-8:47:06 PM

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA INRIA-RRRT UNIV-LORRAINE INRIA2 LORIA LARA

951 View

2577 Download