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.
Type de document :
Rapport
[Research Report] RR-5753, INRIA. 2005, pp.15
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00070266
Contributeur : Rapport de Recherche Inria <>
Soumis le : vendredi 19 mai 2006 - 19:47:07
Dernière modification le : mardi 25 octobre 2016 - 17:02:24
Document(s) archivé(s) le : dimanche 4 avril 2010 - 20:47:06

Fichiers

Identifiants

  • 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〉

Partager

Métriques

Consultations de
la notice

746

Téléchargements du document

1417