
XPPAUT
 Referenced in 453 articles
[sw05543]
 dozens of other useful routines. Differential equations, maps, stochastic systems, delay equations, integral equations ... easily solved and plotted. Animation scripts, Poincare maps, and statistical measures are among its many...

CANDYS/QA
 Referenced in 9 articles
[sw01219]
 CANDYS/QA  a software system for qualitative analysis of...

DAMRO1
 Referenced in 4 articles
[sw07446]
 Dynamics of a rigid rotor linear/nonlinear bearings system...

SympGPR
 Referenced in 1 article
[sw39176]
 Symplectic Gaussian process regression of maps in Hamiltonian...

HomMap
 Referenced in 1 article
[sw32278]
 periodic orbits and their bifurcations for maps. If the stable manifold or the unstable manifold ... also be analyzed with the Poincare maps. In addition, local bifurcation analysis for periodically forced...

phindexlib
 Referenced in 1 article
[sw10149]
 real analytic vector fields. To compute the PoincareHopf index of a real analytic vector ... degree of the real analytic map germ found by EisenbudLevine in 1997. This result...

ALBERT
 Referenced in 82 articles
[sw00025]
 ALBERT  Software for scientific computations and applications. Adaptive...

ATLAS
 Referenced in 199 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

CASA
 Referenced in 105 articles
[sw00108]
 CASA is a specialpurpose system for computational...

CHABIS
 Referenced in 19 articles
[sw00119]
 Algorithm 666. CHABIS: A mathematical software package for...

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

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

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

gmp
 Referenced in 282 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Gmsh
 Referenced in 765 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

Isabelle
 Referenced in 710 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

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

LGS
 Referenced in 15 articles
[sw00517]
 In the paper we present LGS  a geometric...