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

FIESTA 3
 Referenced in 9 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...

L2Roe
 Referenced in 5 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...

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...

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 69 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 186 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

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

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

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

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

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

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

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

DCUTRI
 Referenced in 9 articles
[sw00191]
 Algorithm 706: DCUTRI: an algorithm for adaptive cubature...

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

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