Skip to Main content Skip to Navigation
New interface
Reports (Research report)

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

Laurent Fousse 1 Guillaume Hanrot 1 Vincent Lefèvre 1 Patrick Pélissier 1 Paul Zimmermann 1 
1 SPACES - Solving problems through algebraic computation and efficient software
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Reports (Research report)
Complete list of metadata

Cited literature [34 references]  Display  Hide  Download
Contributor : Rapport De Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 7:47:07 PM
Last modification on : Wednesday, October 26, 2022 - 8:16:45 AM
Long-term archiving on: : Sunday, April 4, 2010 - 8:47:06 PM


  • HAL Id : inria-00070266, version 1



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⟩



Record views


Files downloads