• MPFI

  • Referenced in 43 articles [sw00597]
  • arbitrary precision interval arithmetic and the MPFI library. This paper justifies why an arbitrary precision ... often employed in interval algorithms. The MPFI library has been built in order to fulfill ... completely acceptable. Eventually, some applications based on MPFI are given: robotics, isolation of polynomial real...
  • SAM

  • Referenced in 2 articles [sw04882]
  • arbitrary precision, for instance in the MPFI library. Interval arithmetic provides guaranteed results...
  • CADNA

  • Referenced in 47 articles [sw00098]
  • CADNA: a library for estimating round-off error...
  • C-XSC

  • Referenced in 110 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • INTLIB

  • Referenced in 29 articles [sw00444]
  • Algorithm 737: INTLIB - a portable Fortran 77 interval...
  • intpakX

  • Referenced in 11 articles [sw00445]
  • The Maple Power Tool intpakX defines Maple types...
  • PROFIL/BIAS

  • Referenced in 134 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library...
  • MPFR

  • Referenced in 226 articles [sw03312]
  • The MPFR library is a C library for...
  • INTLAB

  • Referenced in 471 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing...
  • INTOPT_90

  • Referenced in 306 articles [sw04705]
  • Rigorous global search: continuous problems The monograph gives...
  • mctoolbox

  • Referenced in 1486 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • LBNL

  • Referenced in 44 articles [sw04883]
  • LBNL- High-Precision Software Directory: double-double precision...
  • MPSolve

  • Referenced in 14 articles [sw05298]
  • Polynomial Computations The research in this field concerns...
  • PNM

  • Referenced in 35 articles [sw05917]
  • Introduction to precise numerical methods. With CD-ROM...
  • filib++

  • Referenced in 43 articles [sw06459]
  • filib++ is an extension of the interval library...
  • ISOLATE

  • Referenced in 218 articles [sw07741]
  • Efficient isolation of polynomial’s real roots. This...