
dse
 Referenced in 7 articles
[sw24866]
 state space model, and statespace model reduction techniques are implemented. An introduction and User...

PARTS
 Referenced in 2 articles
[sw03123]
 PARTS employs several optimization techniques aimed at statespace reduction. In this paper we discuss...

LAPACK
 Referenced in 1695 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Maple
 Referenced in 5363 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6337 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13460 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

NetworkX
 Referenced in 159 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

Octave
 Referenced in 304 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

Plural
 Referenced in 86 articles
[sw00719]
 Singular is a computer algebra system (CAS) developed...

R
 Referenced in 9810 articles
[sw00771]
 R is a language and environment for statistical...

REDUCE
 Referenced in 746 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

SINGULAR
 Referenced in 1504 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

TISEAN
 Referenced in 170 articles
[sw00967]
 Practical implementation of nonlinear time series methods: The...

TSPLIB
 Referenced in 697 articles
[sw00983]
 TSPLIB is a library of sample instances for...

SLICOT
 Referenced in 84 articles
[sw01095]
 The subroutine library SLICOT provides Fortran 77 implementations...

PRISM
 Referenced in 442 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper...

MACSYMA
 Referenced in 720 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

Kronos
 Referenced in 273 articles
[sw01270]
 KRONOS is a tool developed with the aim...

veriSoft
 Referenced in 92 articles
[sw01489]
 VeriSoft automatically searches for coordination problems (deadlocks, etc...