GNU MPFR (original) (raw)

GNU MPFR

Résumé

GNU MPFR is an efficient arbitrary-precision floating-point library with well-defined semantics (copying the good ideas from the IEEE 754 standard), in particular correct rounding in 5 rounding modes. It provides about 100 mathematical functions, in addition to utility functions (assignments, conversions...). Special data (Not a Number, infinities, signed zeros) are handled like in the IEEE 754 standard. GNU MPFR is based on the mpn and mpz layers of the GMP library.

GNU MPFR est une bibliothèque de calcul en virgule flottante efficace en précision arbitraire et avec une sémantique bien définie (reprenant les bonnes idées de la norme IEEE 754), en particulier l'arrondi correct dans 5 modes d'arrondi. Elle fournit environ 100 fonctions mathématiques, en plus de fonctions utilitaires (affectations, conversions...). Les valeurs spéciales (Not a Number, infinis, zéros signés) sont traitées comme dans la norme IEEE 754. GNU MPFR est basée sur les couches mpn et mpz de la bibliothèque GMP.

Mots clés

• Elementary function

• Correct rounding

• Floating-point arithmetic

• IEEE 754 standard

• Multiple-precision arithmetic

• Arithmétique virgule flottante

• Arrondi correct

• Fonction élémentaire

• Norme IEEE 754

• Arithmétique multiprécision

Domaines

Cite inria-00000026 Objet présenté à une conférence Vincent Lefèvre. The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library). 6th Conference on Real Numbers and Computers 2004 - RNC 6, Nov 2004, Dagstuhl, Germany, pp.135-145. ⟨inria-00000026⟩

Cite inria-00103655 Article 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, 2007, 33 (2), pp.article 13. ⟨10.1145/1236463.1236468⟩. ⟨inria-00103655⟩

Cite inria-00070174 Rapport Y.-F.S. Pétermann, Jean-Luc Rémy. Arbitrary Precision Error Analysis for computing zeta(s)\zeta(s)zeta(s) with the Cohen-Olivier algorithm: Complete description of the real case and preliminary report on the general case. [Research Report] RR-5852, INRIA. 2006, pp.31. ⟨inria-00070174⟩

Cite inria-00069930 Rapport Emmanuel Jeandel. Évaluation rapide de fonctions hypergéométriques. [Rapport de recherche] RT-0242, INRIA. 2000, pp.17. ⟨inria-00069930⟩

Cite hal-01502326 Objet présenté à une conférence Vincent Lefèvre, Paul Zimmermann. Optimized Binary64 and Binary128 Arithmetic with GNU MPFR. 24th IEEE Symposium on Computer Arithmetic (ARITH 24), Jul 2017, London, United Kingdom. pp.18-26, ⟨10.1109/ARITH.2017.28⟩. ⟨hal-01502326⟩

Cite hal-01394289 Article Vincent Lefèvre. Correctly Rounded Arbitrary-Precision Floating-Point Summation. IEEE Transactions on Computers, 2017, 66 (12), pp.14. ⟨10.1109/TC.2017.2690632⟩. ⟨hal-01394289v2⟩

• version : 4.2.0
• Licences : GNU General Public License
• Langage de programmation : C
• Code Repository : https://gitlab.inria.fr/mpfr/mpfr

Citer

363 Consultations

0 Téléchargements