• INTLAB

  • Referenced in 407 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing and self-validating algorithms. It comprises...
  • VSDP

  • Referenced in 12 articles [sw04003]
  • completely written in MATLAB. It uses INTLAB, and thus interval input data are supported...
  • Octave Interval

  • Referenced in 1 article [sw13236]
  • IEEE standard for interval arithmetic. Related software: INTLAB, C-XSC, filib...
  • 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...
  • LAPACK

  • Referenced in 1586 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Mathematica

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

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

  • Referenced in 396 articles [sw00830]
  • ScaLAPACK is an acronym for scalable linear algebra...
  • BLAS

  • Referenced in 475 articles [sw03216]
  • Low-level utilities common to many mathematical software...
  • INTOPT_90

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

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

  • Referenced in 304 articles [sw05897]
  • Chebfun is a collection of algorithms and a...
  • FastPILSS

  • Referenced in 4 articles [sw06460]
  • Solvers for the verified solution of parametric linear...
  • MPI

  • Referenced in 487 articles [sw06496]
  • Automatic differentiation through the use of hyper-dual...
  • Cosy

  • Referenced in 87 articles [sw07711]
  • COSY is a system for the use of...
  • symrcm

  • Referenced in 374 articles [sw08566]
  • symrcm: Sparse reverse Cuthill-McKee ordering. r = symrcm...