• IBEX

  • Referenced in 9 articles [sw11947]
  • handling non-linear constraints. In particular, roundoff errors are also taken into account...
  • CoStLy

  • Referenced in 7 articles [sw00163]
  • CoStLy procedures, all truncation and roundoff errors are calculated during the course of the floating...
  • GRKLib

  • Referenced in 5 articles [sw20334]
  • points together with a sequence of approximation errors such that the distance to the true ... Kutta method for which truncation and roundoff errors may be over-approximated. We also compute...
  • Miller Analyzer

  • Referenced in 1 article [sw25283]
  • Matlab, which is an automatic roundoff error analyzer that extends the work of Miller...
  • ACETAF

  • Referenced in 6 articles [sw00014]
  • ACETAF: A software package for computing validated bounds...
  • Apron

  • Referenced in 52 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • CADNA

  • Referenced in 31 articles [sw00098]
  • CADNA: a library for estimating round-off error...
  • Coq

  • Referenced in 1398 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC

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

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

  • Referenced in 134 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • gmp

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

  • Referenced in 1455 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 4345 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 4907 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 9329 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • Maxima

  • Referenced in 115 articles [sw00560]
  • Maxima is a system for the manipulation of...
  • Octave

  • Referenced in 224 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • PARI/GP

  • Referenced in 447 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System...