GNU MPFR est une bibliothèque portable C de calcul arithmétique multiprécision en virgule flottante avec arrondi correct. C'est un logiciel libre basé sur GNU MP et maintenu pour le projet GNU par Inria et la communauté hacker. MPFR constitue une brique de base essentielle pouvant servir à la construction d'un système de calcul formel.