Difference between revisions of "MPFI"
(New version) |
|||
Line 3: | Line 3: | ||
|Short description=Library for arbitrary precision interval arithmetic | |Short description=Library for arbitrary precision interval arithmetic | ||
|Full description=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. | |Full description=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. | ||
+ | |Homepage URL=http://perso.ens-lyon.fr/nathalie.revol/software.html | ||
|User level=none | |User level=none | ||
− | |||
− | |||
− | |||
− | |||
|Computer languages=C | |Computer languages=C | ||
|Documentation note=User manual available in HTML format from http://perso.ens-lyon.fr/nathalie.revol/mpfi_toc.html | |Documentation note=User manual available in HTML format from http://perso.ens-lyon.fr/nathalie.revol/mpfi_toc.html | ||
− | |||
− | |||
− | |||
− | |||
|Related projects=Genius,MPFR | |Related projects=Genius,MPFR | ||
|Keywords=MPFR,interval arithmetic,precision interval,floating-point,interval computation,rounding | |Keywords=MPFR,interval arithmetic,precision interval,floating-point,interval computation,rounding | ||
− | | | + | |Version identifier=1.5.1 |
− | |Last review by= | + | |Version date=2012/01/19 |
− | |Last review date= | + | |Version status=stable |
+ | |Version download=https://gforge.inria.fr/frs/download.php/file/30129/mpfi-1.5.1.tar.bz2 | ||
+ | |Last review by=Alejandroindependiente | ||
+ | |Last review date=2017/03/01 | ||
|Submitted by=Database conversion | |Submitted by=Database conversion | ||
|Submitted date=2011-04-01 | |Submitted date=2011-04-01 | ||
− | | | + | |Status= |
− | | | + | |Is GNU=No |
− | | | + | |License verified date=2005-06-28 |
− | | | + | }} |
+ | {{Project license | ||
+ | |License=LGPLv2.1orlater | ||
+ | |License verified by=Janet Casey | ||
|License verified date=2005-06-28 | |License verified date=2005-06-28 | ||
− | |||
}} | }} | ||
{{Person | {{Person | ||
+ | |Real name=Nathalie Revol | ||
|Role=Maintainer | |Role=Maintainer | ||
− | |||
|Email=Nathalie.Revol@ens-lyon.fr | |Email=Nathalie.Revol@ens-lyon.fr | ||
|Resource URL= | |Resource URL= | ||
Line 41: | Line 39: | ||
{{Software category | {{Software category | ||
|Interface=library | |Interface=library | ||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Software prerequisite | {{Software prerequisite | ||
Line 63: | Line 56: | ||
|Prerequisite description=MPFR 2.0.1 or higher | |Prerequisite description=MPFR 2.0.1 or higher | ||
}} | }} | ||
+ | {{Featured}} |
Latest revision as of 11:46, 1 March 2017
MPFI
http://perso.ens-lyon.fr/nathalie.revol/software.html
Library for arbitrary precision interval arithmetic
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.
Licensing
License
Verified by
Verified on
Notes
Leaders and contributors
Contact(s) | Role |
---|---|
Nathalie Revol | Maintainer |
Resources and communication
Audience | Resource type | URI |
---|---|---|
Bug Tracking,Developer,Support | mailto:Nathalie.Revol@ens-lyon.fr |
Software prerequisites
Kind | Description |
---|---|
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 |
Required to use | gnump 4.0 or higher |
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.
The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.