MPFR
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 Caramel and AriC 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/IEEE-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 MPFR, 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!
Keywords for this software
References in zbMATH (referenced in 179 articles , 1 standard article )
Showing results 1 to 20 of 179.
Sorted by year (- Arioli, Gianni; Koch, Hans: Some breathers and multi-breathers for FPU-type chains (2019)
- Arioli, Gianni; Koch, Hans: Non-radial solutions for some semilinear elliptic equations on the disk (2019)
- De Loera, Jesús A.; Petrović, Sonja; Silverstein, Lily; Stasi, Despina; Wilburne, Dane: Random monomial ideals (2019)
- Gómez-Serrano, Javier: Computer-assisted proofs in PDE: a survey (2019)
- Higham, Nicholas J.; Pranesh, Srikara: Simulating low precision floating-point arithmetic (2019)
- Proinov, Petko D.; Vasileva, Maria T.: On the convergence of high-order Gargantini-Farmer-Loizou type iterative methods for simultaneous approximation of polynomial zeros (2019)
- Abdulla, Ugur G.; Poteau, Roby: Identification of parameters in systems biology (2018)
- Arioli, Gianni; Koch, Hans: Spectral stability for the wave equation with periodic forcing (2018)
- Baldi, Pietro; Haus, Emanuele; Mantegazza, Carlo: Non-existence of \textittheta-shaped self-similarly shrinking networks moving by curvature (2018)
- Bertot, Yves; Rideau, Laurence; Théry, Laurent: Distant decimals of (\pi): formal proofs of some algorithms computing them and guarantees of exact computation (2018)
- Bhalla, S.; Kumar, S.; Argyros, I. K.; Behl, Ramandeep: A family of higher order derivative free methods for nonlinear systems with local convergence analysis (2018)
- Bhalla, S.; Kumar, S.; Argyros, I. K.; Behl, Ramandeep; Motsa, S. S.: Higher-order modification of Steffensen’s method for solving system of nonlinear equations (2018)
- Chan, Yao-ban; Rechnitzer, Andrew: Upper bounds on the growth rates of independent sets in two dimensions via corner transfer matrices (2018)
- Donà, Pietro: Infrared divergences in the EPRL-FK spin foam model (2018)
- Donà, Pietro; Sarno, Giorgio: Numerical methods for EPRL spin foam transition amplitudes and Lorentzian recoupling theory (2018)
- Fasi, Massimiliano; Higham, Nicholas J.: Multiprecision algorithms for computing the matrix logarithm (2018)
- Leykin, Anton: Homotopy continuation in Macaulay2 (2018)
- Luis Benet; David P. Sanders: TaylorSeries.jl: Taylor expansions in one and several variables in Julia (2018) not zbMATH
- Muller, Jean-Michel; Brunie, Nicolas; de Dinechin, Florent; Jeannerod, Claude-Pierre; Joldes, Mioara; Lefèvre, Vincent; Melquiond, Guillaume; Revol, Nathalie; Torres, Serge: Handbook of floating-point arithmetic (2018)
- Sharma, Janak Raj; Kumar, Deepak: Design and analysis of a class of weighted-Newton methods with frozen derivative (2018)