
INTLAB
 Referenced in 407 articles
[sw04004]
 INTLAB is the Matlab toolbox for reliable computing and selfvalidating 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, CXSC, filib...

CXSC
 Referenced in 106 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 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 highlevel language and interactive...

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

BLAS
 Referenced in 475 articles
[sw03216]
 Lowlevel 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 hyperdual...

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

symrcm
 Referenced in 374 articles
[sw08566]
 symrcm: Sparse reverse CuthillMcKee ordering. r = symrcm...