• 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...
  • DAMRO-1

  • 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...
  • phindex-lib

  • Referenced in 1 article [sw10149]
  • real analytic vector fields. To compute the Poincare-Hopf index of a real analytic vector ... degree of the real analytic map germ found by Eisenbud-Levine 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 special-purpose 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...