
interval toolbox
 Referenced in 1 article
[sw14907]
 stability range of a control loop (stability radius); numerical resolution of nonlinear equality/inequality systems, with...

Rkopt
 Referenced in 3 articles
[sw17497]
 stages. am_radopt: Find stability functions with optimal radius of absolute monotonicity. Includes capabilities ... multistep and multistage methods. polyopt: Find optimal stability polynomials of a given degree and order...

Euler diagrams
 Referenced in 1 article
[sw15821]
 drawings and stability. Specifications are written using region connection calculus (RCC8), radius constraints...

LIGKA
 Referenced in 3 articles
[sw02605]
 fast particle effects on the MHD stability in tokamaks, Ph.D. Thesis, TU München ... Thesis, Princeton University, 1998]. A finite Larmor radius expansion together with the construction of some...

SERK2v3
 Referenced in 4 articles
[sw14473]
 parabolic multidimensional PDEs. Additionally, the stability domain is adapted precisely to the spectrum ... derive two algorithms to estimate the spectral radius in the new code: a nonlinear power...

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

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

CXSC 2.0
 Referenced in 118 articles
[sw00182]
 A C++ class library for extended scientific computing...

Expokit
 Referenced in 149 articles
[sw00258]
 Expokit provides a set of routines aimed at...

GAP
 Referenced in 2396 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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

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

Magma
 Referenced in 2355 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

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

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

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

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

nauty
 Referenced in 487 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

PARI/GP
 Referenced in 478 articles
[sw00680]
 PARI/GP is a widely used Computer Algebra System...

PLTMG
 Referenced in 205 articles
[sw00717]
 PLTMG 11.0 is a package for solving elliptic...