inria-00070266, version 1
MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding
Laurent Fousse 1Guillaume Hanrot
1Vincent Lefèvre 1Patrick Pélissier 1Paul Zimmermann 1
N° RR-5753 (2005)
Résumé : 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.
- 1 : SPACES (INRIA Lorraine - LORIA)
- INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine
- Domaine : Informatique/Analyse numérique
Informatique/Autre - Mots-clés : MULTIPLE-PRECISION ARITHMETIC / IEEE-754 STANDARD / FLOATING-POINT ARITHMETIC / CORRECT ROUNDING / ELEMENTARY FUNCTION / PORTABLE SOFTWARE
- Référence interne : RR-5753
- inria-00070266, version 1
- http://hal.inria.fr/inria-00070266
- oai:hal.inria.fr:inria-00070266
- Contributeur : Rapport De Recherche Inria
- Soumis le : Vendredi 19 Mai 2006, 19:47:07
- Dernière modification le : Mardi 27 Juin 2006, 16:31:15
Documents associés
Exporter