La bibliothèque mpfi est dédiée au calcul numérique en précision arbitraire pour des intervalles. Basée sur MPFR, elle offre des fonctionnalités puissantes pour la vérification d'inégalités et la détermination de bornes d'erreurs, trouvant ainsi des applications dans l'analyse numérique et l'optimisation.