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] RR-5753, INRIA. 2005, pp.15
Liste complète des métadonnées

Cited literature [34 references]  Display  Hide  Download

https://hal.inria.fr/inria-00070266
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 7:47:07 PM
Last modification on : Thursday, January 11, 2018 - 6:20:00 AM
Document(s) archivé(s) le : Sunday, April 4, 2010 - 8:47:06 PM

Identifiers

  • HAL Id : inria-00070266, version 1

Collections

Citation

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〉

Share

Metrics

Record views

844

Files downloads

1533