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

FIESTA 3
 Referenced in 6 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 4 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 65 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 183 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++ We present...

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

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

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

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

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

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

CSDP
 Referenced in 171 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 212 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...

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