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

FIESTA 3
 Referenced in 15 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 4 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 8 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 101 articles
[sw00005]
 BEMLIB is a boundaryelement software library of...

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

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

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

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

CADNA
 Referenced in 42 articles
[sw00098]
 CADNA: a library for estimating roundoff error...

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

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

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

Concepts
 Referenced in 21 articles
[sw00151]
 The authors show how mathematical concepts can be...

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

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

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