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 CACAO - Curves, Algebra, Computer Arithmetic, and so On
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 to arbitrary-precision ideas from the IEEE 754 standard, by providing correct rounding and exceptions. We demonstrate how these strong semantics are achieved -- with no significant slowdown with respect to other arbitrary-precision tools -- and discuss a few applications where such a library can be useful.
Type de document :
Article dans une revue
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2007, 33 (2), pp.article 13. 〈10.1145/1236463.1236468〉
Liste complète des métadonnées
https://hal.inria.fr/inria-00103655
Contributeur : Guillaume Hanrot <>
Soumis le : mercredi 4 octobre 2006 - 18:34:21
Dernière modification le : jeudi 11 janvier 2018 - 06:21:04

Identifiants

Collections

INRIA | LORIA | UNIV-LORRAINE

Citation

Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann. MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding.. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2007, 33 (2), pp.article 13. 〈10.1145/1236463.1236468〉. 〈inria-00103655〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

300

Contact


archive-ouverte@inria.fr