
GAS
 Referenced in 2 articles
[sw19260]
 algorithm for proving global asymptotic stability of rational difference equations. Global asymptotic stability...

FIESTA 3
 Referenced in 5 articles
[sw18212]
 version presents features like clusterparallelization, new asymptotic expansion algorithms, calculations in physical regions ... well as multiple speed, memory, and stability improvements...

YALTA
 Referenced in 2 articles
[sw07641]
 Matlab toolbox dedicated to the H ∞ stability analysis of classical and fractional systems with commensurate ... retarded and neutral type are considered. The asymptotic position of high modulus poles is given ... from zero to a prescribed positive value, stability windows as well as root loci...

Farm
 Referenced in 1 article
[sw18734]
 FARM  A flexible asymptotic Rmatrix package. The Rmatrix formalism has been highly successful ... matrix propagation techniques to ensure optimum stability and efficiency in integrating the coupled Schrödinger equations ... integrated is minimized by matching to an asymptotic wavefunction determined by an accelerated Gailitis expansion...

L2Roe
 Referenced in 3 articles
[sw18355]
 present for the first time an asymptotic analysis of the last method. Numerical tests ... reduced numerical dissipation and the accuracy or stability of the scheme...

NOFCVRTT
 Referenced in 2 articles
[sw02844]
 observer state converges to the real state asymptotically, when packet dropping or marking ratio falls ... proposed NOFCVRTT presents high robust stabilization, high link utilization and low packet loss ratio...

SteadyStateApproximation
 Referenced in 1 article
[sw20476]
 that it will be useful for the asymptotic analysis of sizestructured population models ... also be used to produce existence and stability regions for steady states of sizestructured...

BEMLIB
 Referenced in 61 articles
[sw00005]
 BEMLIB is a boundaryelement software library of...

FIDAP
 Referenced in 34 articles
[sw00006]
 FIDAP (A Fluid Dynamics Analysis Program) This paper...

ADOLC
 Referenced in 180 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++ We present...

ANSYS
 Referenced in 446 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

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

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

CGAL
 Referenced in 255 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CoCoA
 Referenced in 517 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1242 articles
[sw00161]
 Coq is a formal proof management system. It...

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

DCUTRI
 Referenced in 8 articles
[sw00191]
 An adaptive algorithm for computing an approximation to...

DEA
 Referenced in 208 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...

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