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!


References in zbMATH (referenced in 226 articles , 1 standard article )

Showing results 1 to 20 of 226.
Sorted by year (citations)

1 2 3 ... 10 11 12 next

  1. Calleja, Renato C.; Celletti, Alessandra; de la Llave, Rafael: KAM quasi-periodic solutions for the dissipative standard map (2022)
  2. Calleja, Renato; Celletti, Alessandra; Gimeno, Joan; de la Llave, Rafael: Efficient and accurate KAM tori construction for the dissipative spin-orbit problem using a map reduction (2022)
  3. Lei, Xiaojun; Gu, Tongxiang; Graillat, Stef; Jiang, Hao; Qi, Jin: A fast parallel high-precision summation algorithm based on AccSumK (2022)
  4. Garcia-Millan, Rosalba; Pruessner, Gunnar: Run-and-tumble motion in a harmonic potential: field theory and entropy production (2021)
  5. Jing, Ke; Kang, Ning: Convergence rates of a family of barycentric rational Hermite interpolants and their derivatives (2021)
  6. Kapela, Tomasz; Mrozek, Marian; Wilczak, Daniel; Zgliczyński, Piotr: CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (2021)
  7. Lange, Marko; Rump, Siegfried M.: Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin’s (\sin(\theta)) theorem (2021)
  8. Li, Xiaoming; Li, Xiaochen; He, Linghui; Liao, Shijun: Triple collision orbits in the free-fall three-body system without binary collisions (2021)
  9. Noferini, Vanni; Robol, Leonardo; Vandebril, Raf: Structured backward errors in linearizations (2021)
  10. Shoup, Victor: Arithmetic software libraries (2021)
  11. Xu, Tianzhuang; Xie, Bin; Liao, Shijun: On reliable computation of lifetime in transient chaos (2021)
  12. Aleksandrov, P. A.; Elenin, G. G.: Testing a new conservative method for solving the Cauchy problem for Hamiltonian systems on test problems (2020)
  13. Arioli, Gianni; Koch, Hans: Traveling wave solutions for the FPU chain: a constructive approach (2020)
  14. Bertsimas, Dimitris; Sturt, Bradley: Computation of exact bootstrap confidence intervals: complexity and deterministic algorithms (2020)
  15. Brini, Andrea: Exterior powers of the adjoint representation and the Weyl ring of (E_8) (2020)
  16. Cirillo, Emiliano; Hormann, Kai; Sidon, Jean: Convergence rates of a Hermite generalization of Floater-Hormann interpolants (2020)
  17. Dahne, Joel; Salvy, Bruno: Computation of tight enclosures for Laplacian eigenvalues (2020)
  18. de Laat, David: Moment methods in energy minimization: new bounds for Riesz minimal energy problems (2020)
  19. Golmakani, A.; Koudjinan, C. E.; Luzzatto, S.; Pilarczyk, P.: Rigorous numerics for critical orbits in the quadratic family (2020)
  20. Iakymchuk, Roman; Barreda, Maria; Wiesenberger, Matthias; Aliaga, José I.; Quintana-Ortí, Enrique S.: Reproducibility strategies for parallel preconditioned conjugate gradient (2020)

1 2 3 ... 10 11 12 next