SeDRe


Résumé de la présentation de Patrick Pélissier

Patrick est ingénieur associé et travaille pour l'équipe SPACES.

MPFR

La bibliothèque MPFR est une bibliothèque C pour faire des calculs flottants en précision arbitraire avec arrondi correct. Elle est basée sur la bibliothèque de calcul en multiprécision GMP. Elle est utilisable en C, C++, Perl, CAML, Lisp, Python (et surement d'autres), sur beaucoup de systèmes (windows, linux, hp-ux, net-bsd, open-bsd, free-bsd, hurd, OSF, x86, alpha, arm, power-pc, mc68k, ...).

Le but principal de MPFR est de fournir du calcul flottant en précision arbitraire à la fois efficace et ayant une sémantique bien définie (notamment, les calculs donnent les mêmes résultats quel que soit le système).

Dans cet expose, je vais présenter MPFR, par quels logiciels elle est utilisée, ce qu'on peut espérer faire avec, les différents problèmes des calculs flottants, les modifications en cours, et une petite démo pour finir.