MPFI

Motivations for an arbitrary precision interval arithmetic and the MPFI library. This paper justifies why an arbitrary precision interval arithmetic is needed. To provide accurate results, interval computations require small input intervals; this explains why bisection is so often employed in interval algorithms. The MPFI library has been built in order to fulfill this need. Indeed, no existing library met the required specifications. The main features of this library are briefly given and a comparison with a fixed-precision interval arithmetic, on a specific problem, is presented. It shows that the overhead due to the multiple precision is completely acceptable. Eventually, some applications based on MPFI are given: robotics, isolation of polynomial real roots (by an algorithm combining symbolic and numerical computations) and approximation of real roots with arbitrary accuracy.


References in zbMATH (referenced in 23 articles )

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

1 2 next

  1. Beliakov, Gleb; Matiyasevich, Yuri: A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic (2016)
  2. Platt, D.J.; Trudgian, T.S.: On the first sign change of $\theta(x) -x$ (2016)
  3. Rusu, David; Santoprete, Manuele: Bifurcations of central configurations in the four-body problem with some equal masses (2016)
  4. Platt, D.J.; Trudgian, T.S.: Linnik’s approximation to Goldbach’s conjecture, and other problems (2015)
  5. Cordero, Alicia; Torregrosa, Juan R.; Vassileva, María P.: New predictor-corrector methods with high efficiency for solving nonlinear systems (2012)
  6. De Maesschalck, Peter; Popović, Nikola: Gevrey properties of the asymptotic critical wave speed in a family of scalar reaction-diffusion equations (2012)
  7. Krämer, Walter: Multiple/arbitrary precision interval computations in C-XSC (2012)
  8. Spandl, Christoph: Computational complexity of iterated maps on the interval (2012)
  9. Graillat, Stef; Jézéquel, Fabienne; Wang, Shiyue; Zhu, Yuxiang: Stochastic arithmetic in multiprecision (2011)
  10. Hales, Thomas C.; Harrison, John; McLaughlin, Sean; Nipkow, Tobias; Obua, Steven; Zumkeller, Roland: A revision of the proof of the Kepler conjecture (2010)
  11. Krämer, Walter: Verification methods and symbolic computations (2010)
  12. Revol, Nathalie: Standardized interval arithmetic and interval arithmetic used in libraries (2010)
  13. Rouillier, Fabrice: On solving systems of bivariate polynomials (2010)
  14. Lasserre, Jean Bernard; Laurent, Monique; Rostalski, Philipp: Semidefinite characterization and computation of zero-dimensional real radical ideals (2008)
  15. Chabert, Gilles; Jaulin, Luc: Computing the pessimism of inclusion functions (2007)
  16. Gu, Nong; Lazard, Daniel; Rouillier, Fabrice; Xiang, Yong: Using computer algebra to certify the global convergence of a numerical optimization process (2007)
  17. Kuliamin, V.V.: Standardization and testing of implementations of mathematical functions in floating point numbers (2007)
  18. Kreinovich, Vladik; Rump, Siegfried: Towards optimal use of multi-precision arithmetic: a remark (2006)
  19. Lebbah, Yahia; Michel, Claude; Rueher, Michel; Daney, David; Merlet, Jean-Pierre: Efficient and safe global constraints for handling numerical constraint systems (2005)
  20. Martel, Matthieu: An overview of semantics for the validation of numerical programs (2005)

1 2 next