• CONTIDNS

  • Referenced in 1 article [sw18602]
  • handle uncertain data and to yield verified enclosures of the solution, initially gained from ... parameter identification and includes a simulation applying numerical integration. For the orthogonal parameter estimation algorithm...
  • ACETAF

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

  • Referenced in 641 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • BARON

  • Referenced in 304 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • C-XSC

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

  • Referenced in 122 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • FORTRAN-SC

  • Referenced in 14 articles [sw00305]
  • FORTRAN-SC ist eine vollständig implementierte Erweiterung von...
  • GLOPT

  • Referenced in 19 articles [sw00359]
  • GLOPT is a Fortran 77 program for global...
  • INTBIS

  • Referenced in 31 articles [sw00442]
  • Algorithm 681: INTBIS, a portable interval Newton/bisection package...
  • 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...
  • LSQR

  • Referenced in 343 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Maple

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

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

  • Referenced in 11446 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PROFIL/BIAS

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

  • Referenced in 714 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • QUADPACK

  • Referenced in 243 articles [sw01236]
  • Fortran subprograms for evaluating definite integrals of functions...