MPFI (Multiple Precision Floating-Point Interval Library) is a library for arbitrary precision interval arithmetic with intervals represented using MPFR reliable floating-point numbers. It is based on the GNU MP library and on the MPFR library. The purpose of an arbitrary precision interval arithmetic is on the one hand to get guaranteed results, thanks to interval computation, and on the other hand to obtain accurate results, thanks to multiple precision arithmetic. The MPFI library is built upon MPFR to benefit from the correct roundings provided by MPFR, it portability, and its compliance with the IEEE 754 standard for floating-point arithmetic.
DocumentationUser manual available in HTML format from http://perso.ens-lyon.fr/nathalie.revol/mpfi_toc.html
released on 17 March 2005
|License||Verified by||Verified on||Notes|
|LGPLv2.1orlater||Janet Casey||28 June 2005|
Leaders and contributors
Resources and communication
|Required to use||gnump 4.0 or higher|
|Required to use||MPFR 2.0.1 or higher|
|Required to build||gnump 4.0 or higher|
|Required to build||MPFR 2.0.1 or higher|
This entry (in part or in whole) was last reviewed on 7 January 2008.