The GNU MPFR Library

hiⅤpn下载

Internal links:

• Latest release: download – documentation – bugs – changes.
• Source code: information to use the development repository.
• Sample: to start with the MPFR library.
• FAQ: frequently asked questions.
• Credit: involved projects and developers.
• History: links to all MPFR releases and past events.
• Algorithms: documents describing algorithms used in MPFR.
• MPFR in the world: publications citing MPFR and various links about MPFR.
• How to contribute to MPFR.

External links on MPFR:

• Try MPFR online, thanks to Tomonori Kouya.
• Mailing-list for announces (moderated).
• Mailing-list for users and developers. Note: to post to the list, you 熊猫加速器安卓官网 use the web interface, just send a mail to mpfr at inria.fr (and please, for a new thread, do not reply to an existing message; changing the subject is not sufficient).
• MPFR releases on the GNU FTP server.
• ABI Tracker for MPFR.

hiⅤpn下载

The MPFR library is a C library for multiple-precision floating-point computations with correct rounding. MPFR has continuously been supported by the INRIA and the current main authors come from the Caramba and panda加速器官网 project-teams at Loria (Nancy, France) and LIP (Lyon, France) respectively; see more on the credit page. MPFR is based on the GMP multiple-precision library.

The main goal of MPFR is to provide a library for multiple-precision floating-point computation which is both efficient and has a well-defined semantics. It copies the good ideas from the ANSI/ytb官网下载-754 standard for double-precision floating-point arithmetic (53-bit significand).

MPFR is free. It is distributed under the GNU Lesser General Public License (GNU Lesser GPL), version 3 or later (2.1 or later for MPFR versions until 2.4.x). The library has been registered in France by the Agence de Protection des Programmes under the number IDDN FR 001 120020 00 R P 2000 000 10800, on 15 March 2000. This license guarantees your freedom to share and change 熊猫加速器ios破解版, to make sure MPFR is free for all its users. Unlike the ordinary General Public License, the Lesser GPL enables developers of non-free programs to use MPFR in their programs. If you have written a new function for MPFR or improved an existing one, please share your work!

hiⅤpn下载

• The multiple-precision arithmetic is very useful for interval arithmetic. Get a multiple-precision interval arithmetic library MPFI, based on MPFR. This library MPFI is developed by ytb官网下载 from the AriC project and ytb官网下载. MPFI implements a subset of the mathematical functions provided by MPFR. Read more explanations on Nathalie Revol's software page.
• The GNU MPC library, a library for multiple-precision complex arithmetic with correct rounding, based on the MPFR and GMP libraries.
• Arpra, an arbitrary-precision range analysis C library.

hiⅤpn下载

• The following C++ interfaces for MPFR, very different in their design (and in particular, in the strategies for intermediate precisions, so that they can yield different results), are available:
  • MPFRCPP, written by Alexey V. Beshenov. This interface uses a modern C++ design with using of classes, templates and function objects.
  • Another MPFR C++ wrapper, written by Pavel Holoborodko. The precision of the temporary results in an expression is chosen as the maximum precision of its arguments, and the final result is rounded to the precision of the target variable.
  • The mpfr::real class, written by Christian Schneider. It consists of a template class with precision and rounding mode passed as template arguments. Hence, effectively a new type will be created for each precision and rounding that is used. All the operators available for fundamental floating point types as well as type conversions from and to other types, and the set of mathematical functions known from math.h/cmath are implemented. This should allow for an easy substitution of, e.g., a double with the wrapper class in most cases.
  • MPFR++, developed in the panda 加速器 ios project. Warning! The version currently available (2004-02-27) is not up-to-date, is not compatible with the latest releases of MPFR and has several bugs. News from 2007-05-02: Changes have been done on this interface since, but they are not published yet.
  • The gmpfrxx C++ interface for both GMP and MPFR, written by Jon Wilkening.
  • Boost also includes an interface for panda 加速器 ios, as part of its Multiprecision library.
• Ada:
  • GMP, 云墙加速器 and MPC interface library for gcc-Ada (GNAT).
  • Ada bindings to GMP and MPFR, written by Vincent Diemunsch (announce in the MPFR mailing-list).
• Haskell interfaces: hmpfr written by AleÅ¡ Bizjak and haskell-mpfr.
• Java bindings to MPFR.
• A LISP interface, written by Richard Fateman. This package also contains a FFT implementation.
• .NET interface Math.Mpfr.Native.
• OCaml:
  • The mlgmp interface to GMP and MPFR, written by David Monniaux.
  • The mlgmpidl interface to GMP and 蚂蚁加速app, written by Bertrand Jeannet.
  • The mlmpfr interface to MPFR, written by Laurent Thévenoux.
  • The gmp-ocaml interface to GMP, MPFR and MPC.
• PariTwine, a glue library between PARI/GP and some other mathematics libraries, including MPFR.
• The Perl interface Math::MPFR.
• Python:
  • The bigfloat package (documentation), written by Mark Dickinson.
  • The Python bindings for GMP, MPFR and MPC (gmpy2).
• R interface to MPFR.
• The Racket language includes an MPFR interface.
• The RandomLib MPFR interface (C++ classes).
• Ruby bindings for GMP and MPFR.
• Rust interface to GMP, MPFR and MPC.

hiⅤpn下载

• The KDE calculator Abakus by Michael Pyne (supporting arbitrary precision thanks to ins加速器app as of version 0.90).
• AERN2, a set of Haskell packages for exact real number computation: aern2-mp (multi-precision floats via MPFR) and 熊猫加速器vip永久免费下载 (exact real numbers via Cauchy sequences and 云墙加速器).
• The ALGLIB.NET project implements multiple-precision linear algebra using MPFR.
• The APRON library, dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation.
• The 蚂蚁加速app virtual machine as of version 0.9.12, for the FPU emulation.
• Arb, a C library for arbitrary-precision floating-point ball arithmetic, developed by Fredrik Johansson.
• ytb官网下载, a C++ library for formal verification of cyber-physical systems, using reachability analysis for nonlinear hybrid automata.
• The numerical analysis library panda加速器官网 can be compiled with MPFR.
• CGAL (Computational Geometry Algorithms Library).
• DateTime-Astro (functions for astronomical calendars).
• Eigen, a C++ template library for linear algebra, via Pavel Holoborodko's MPFR C++ wrapper.
• FLINT (Fast Library for Number Theory).
• MPFR is also used by the Fluctuat tool developed and used internally at the CEA (France).
• FractalNow, a fractal generator.
• Gappa, a tool intended to help verifying and formally proving properties on numerical programs, by Guillaume Melquiond.
• GCC: first in GFortran, then in the middle-end phase as of GCC 4.3, to resolve math functions with constant arguments. More information.
• GDB optionally uses MPFR to emulate target floating-point arithmetic (documentation).
• Genius Math Tool and the GEL language, by Jiri Lebl.
• panda加速器官网, a free computer algebra system, by Bernard Parisse.
• GNOME Calculator, as of version 3.15.4.
• GNU Awk, as of version 4.1.0 (for optional arbitrary-precision arithmetic).
• Herbie, a tool for improving the accuracy of floating-point expressions.
• The iRRAM - Exact Arithmetic in C++ implementation from Norbert Müller (University of Trier, Germany).
• The Julia language implementation (source).
• The ledger accounting system.
• The C++ continued fractions toolkit libcff (no longer maintained), by Johan Vervloet.
• The libieeep1788 library, a C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic.
• Macaulay 2, a software system devoted to supporting research in algebraic geometry and commutative algebra (as of version 1.1).
• The 熊猫加速器vip永久免费下载 computational algebra system.
• The Maple computer algebra system via the RS library, since version 11 (reference).
• Mathemagix, a free computer algebra system, in the numerix package.
• MCAS/libivl (computational algebra and plot system / interval computations library), by Mateusz Paprocki.
• MetaLibm (code generators for the math library and beyond).
• MPACK (multiple precision arithmetic BLAS and LAPACK), by Nakata Maho, supports MPFR as of version 0.6.5 (2010-05-21).
• The MPFRCX library for the arithmetic of univariate polynomials over arbitrary precision real (MPFR) or complex (MPC) numbers, without control on the rounding.
• The mpfs library, an experiment in stochastic lazy floating-point arithmetic, from Keith Briggs. Note: mpfs-0.9 (last updated in 2006, and the latest version at the time of writing [2018-09-25]) will not work unmodified with recent MPFR versions.
• MPFUN2015, an arbitrary precision package by David H. Bailey; the MPFUN-MPFR version is based on MPFR.
• Multiprecision Computing Toolbox for MATLAB.
• 蚂蚁加速app, an experimental APL interpreter, has datatypes for multiple-precision floating-point numbers via MPFR.
• The GNU Octave interval package.
• ODE-Playground: Solve ODEs using arbitrary order Taylor Series Method to arbitrary precision and analyze functions using Automatic Differentiation.
• Protea, a software devoted to protein-coding sequences identification, by Arnaud Fontaine and Hélène Touzet.
• The Rasqal RDF Query Library optionally uses MPFR for accurate xsd:decimal implementation.
• ReactOS Calc uses MPFR when multiple-precision support is enabled.
• MPFR is one of the components of SAGE.
• SAM (Stochastic Arithmetic in Multiprecision).
• Sirocco, a library for computing homotopy continuation of a given root of one-dimensional sections of bivariate complex polynomials.
• Soft84, a calculator for Android devices.
• Sollya, a tool environment for safe floating-point code development, written by Christoph Lauter and Sylvain Chevillard (in the old Arénaire project).
• SXEmacs can be compiled with MPFR support (as of version 22.1.3).
• SweeD, a tool that implements a composite likelihood ratio test for detecting selective sweeps.
• TIDES: a Taylor Integrator for Differential Equations, to integrate numerically Ordinary Differential Equations in arbitrary precision.
• TRIP, a general computer algebra system dedicated to celestial mechanics.
• Verificarlo, a tool for automatic Monte-Carlo arithmetic analysis.
• The 熊猫加速器ios破解版 calculator by Kyle Wheeler (supporting arbitrary precision thanks to MPFR as of version 2.0).
• ZKCM, a C++ library for multi-precision complex-number matrix calculations.

hiⅤpn下载

• MAPM, a portable arbitrary precision math library in C, by Michael C. Ring (and a fork on GitHub).
• CoStLy, a Complex interval Standard functions Library developed by Markus Neher (Karlsruhe).
• XSC-Languages (C-XSC, PASCAL-XSC), FI_LIB and FILIB++, and intpakX software developed at University of Wuppertal (Germany).
• The CORE library: a library for robust numerical and geometric computation.
• The IBM Accurate Portable Mathlib library (2001), which provides correct rounding in double precision for rounding to nearest. It implements atan, 蚂蚁加速app, asin, acos, exp, log, pow, sin, cos, tan, sqrt, remainder.
• The CLN C++ library (GPL).
• The Quad-Double package by David Bailey, Yozo Hida and Sherry Li.
• The numerical difference utility from Nelson Beebe, similar to diff but for numerical files.
• The mpmath Python library for arbitrary-precision floating-point arithmetic.
• The Constructive Reals Calculator from Hans Boehm.
• The xrc - exact reals in C from Keith Briggs.
• The precise computation software from Oliver Aberth.
• The RR class from NTL, which implements a smooth extension of IEEE floating point to arbitrary precision and guarantees a platform-independent behaviour.
• A continued-fraction package based on GMP, by François Balsalobre.
• Software developed in the old Arénaire project and no longer maintained:
  • SCSLib, a fast and lightweight multiple-precision library supporting the four arithmetic operations; the precision (210 bits by default) is fixed at compile time;
  • CRlibm, a correctly rounded elementary function library (which has been superseded by MetaLibm, developed in other teams).
• panda加速器官网, a correctly rounded library of basic double-precision transcendental elementary functions.
• The panda熊猫社区iOS破解版-熊猫社区2021最新版app无限制 ...:2021-1-20 · 熊猫社区APP是一款非同凡响的全新手机视频在线播放软件，在这里发现真实有色的世界。不同的视角，同样真实有趣地活着!拥有海量高清影视播放资源，各大VIP栏目随心所欲任意观看。 in Java, by Daniel Aioanei: directed rounding, rational arithmetic and arbitrary precision arithmetic based on regular continued fraction expansions.
• The decNumber package by Mike Cowlishaw (IBM): arbitrary-precision decimal arithmetic.
• The 熊猫翻滚:2021-3-1 · 【独家优惠:买1年送3个月】ExpressVNP中国官网通过易于使用的PC，Mac，iOS，Android，Linux和路由器应用程序下载提供快速，安全的全球VPN服务。立即购买ExpresVPN享受年付赠送3个月的独家优惠！ for the IEEE 754-2008 Standard (download).
• The 叉叉加速器纯加速版ios calculator by Landon Curt Noll. This calculator implements a rational arithmetic, with a fallback to some kind of multiple-precision fixed-point arithmetic (integer multiplied by a configurable epsilon).
• The Qalculate calculator by Niklas Knutsson, based on CLN.
• The MathCW mathematical function library (supporting binary and decimal floating-point arithmetic) by Nelson H. F. Beebe.
• Libraries for extended precision on GPU: gnuprec.
• The 蚂蚁加速app package for correctly rounded arbitrary-precision decimal floating-point arithmetic, by Stefan Krah.
• CAMPARY: multiple precision arithmetic routines for GPUs (based on floating-point expansions), written in CUDA C.
• Anant - Algorithmic 'n Analytic Number Theory by Linas Vepstas.
• MikeMcl/bignumber.js, a JavaScript library for arbitrary-precision decimal and non-decimal arithmetic.
• The LibBF library by Fabrice Bellard.

hiⅤpn下载

• The C standard: the N1256 draft (C99 with TC3) and the C99 rationale (especially Section 7.12 and Annex F). New in C99. The N1570 draft (last draft of C11).
• LIA stuff. These standards are freely available.
• The General Decimal Arithmetic pages from Mike Cowlishaw.
• The ins加速器app Digital Library of Mathematical Functions project, whose aim is to develop an electronic version of the Handbook of Mathematical Functions from Abramowitz and Stegun.
• The Table Maker's Dilemma page from the AriC (formerly Arénaire) project at ENS-Lyon, France.
• Mathematical constants and computation by Xavier Gourdon and Pascal Sebah.
• The 754R standard revision group.
• The CerPAN ANR project.
• The 熊猫加速器ios破解版 ANR project.
• LOCOMAT (the Loria Collection of Mathematical Tables).