
SYMCON
 Referenced in 1 article
[sw31542]
 design of multivariable discretetime control systems using the polynomial equation approach. It covers ... design of all the wellestablished discretetime control schemes. The package is useful...

MIXMAX
 Referenced in 4 articles
[sw29765]
 Under wellknown conditions, these discretetime dynamical systems have the highly desirable Kmixing ... operations. Second, to recursively compute its characteristic polynomial with (O(N^2)) operations, and third...

BARON
 Referenced in 305 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

cdd
 Referenced in 109 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CSDP
 Referenced in 194 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

Fermat
 Referenced in 37 articles
[sw00277]
 Fermat is a computer algebra system (CAS) for...

gmp
 Referenced in 256 articles
[sw00363]
 GMP is a free library for arbitrary precision...

HSL
 Referenced in 265 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

Isabelle
 Referenced in 601 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LANCELOT
 Referenced in 293 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

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

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

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

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

NAG
 Referenced in 374 articles
[sw00610]
 Produced by experts for use in a variety...

QEPCAD
 Referenced in 273 articles
[sw00752]
 QEPCAD B: A program for computing with semi...

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

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

Scilab
 Referenced in 165 articles
[sw00834]
 Scilab includes hundreds of mathematical functions. It has...