• AUTO

  • Referenced in 877 articles [sw01059]
  • AUTO can do a limited bifurcation analysis of algebraic systems of the form ... includes the software HOMCONT for the bifurcation analysis of homoclinic orbits. AUTO is quite fast...
  • MACSYMA

  • Referenced in 716 articles [sw01209]
  • manipulation and solution capabilities in algebra, calculus and numerical analysis 2D and 3D report-quality...
  • GloptiPoly

  • Referenced in 293 articles [sw04343]
  • various areas of mathematics such as algebra, Fourier analysis, functional analysis, operator theory, probability...
  • AUTO-86

  • Referenced in 275 articles [sw04220]
  • Zhang.AUTO can do a limited bifurcation analysis of algebraic systems of the formf ... includes the software HOMCONT for the bifurcation analysis of homoclinic orbits. AUTO is quite fast...
  • MapReduce

  • Referenced in 250 articles [sw00546]
  • massively parallel data analysis applications. The translation and optimization from relational algebra operators to MapReduce ... focus on a special type of data analysis query, namely multiple group by query...
  • KernSmooth

  • Referenced in 911 articles [sw04586]
  • general. To describe the principles, applications and analysis of kernel smoothers the authors concentrate ... basic knowledge of statistics, calculus and matrix algebra is assumed. In its role...
  • Bio-PEPA

  • Referenced in 102 articles [sw01361]
  • PEPA, a process algebra for the modelling and the analysis of biochemical networks...
  • AUTO2000

  • Referenced in 50 articles [sw04643]
  • AUTO can do a limited bifurcation analysis of algebraic systems of the form ... includes the software HOMCONT for the bifurcation analysis of homoclinic orbits. AUTO is quite fast...
  • IMPS

  • Referenced in 50 articles [sw09143]
  • proofs covers significant portions of logic, algebra, and analysis and provides some support for modeling...
  • DASPK 3.0

  • Referenced in 34 articles [sw04288]
  • algorithms for sensitivity analysis of large-scale differential algebraic systems. The authors describe ... sensitivity analysis of large-scale differential algebraic equations. They outline the underlying algorithms ... sensitivity analysis and for the choice of consistent initial data. After a brief discussion ... results of some numerical experiments on differential algebraic equations arising from the discretisation of partial...
  • DAISY

  • Referenced in 44 articles [sw09059]
  • interesting biological models are nonlinear but identifiability analysis for nonlinear system turns ... tool implementing a differential algebra algorithm to perform parameter identifiability analysis for (linear and) nonlinear ... mathematical tools. The DAISY (Differential Algebra for Identifiability of SYstems) software will potentially be useful...
  • Rabbit

  • Referenced in 18 articles [sw08372]
  • detailed security analysis, in particular, correlation analysis and algebraic investigations. The cryptanalysis of Rabbit...
  • CHomP

  • Referenced in 46 articles [sw09358]
  • computationally efficient. Algebraic Topology is the classical mathematical tool for the global analysis of nonlinear ... large datasets can be reduced to compact algebraic expressions that provide insight into underlying geometric ... effective topologically based methods to the analysis of nonlinear systems...
  • PurityFiltration

  • Referenced in 10 articles [sw07656]
  • cohomology used in the literature of algebraic analysis. Efficient implementations dedicated to the computation ... easily developed in the standard computer algebra systems. Moreover, this characterization of grade filtration...
  • SLICOT

  • Referenced in 80 articles [sw01095]
  • algebra routines from BLAS and LAPACK libraries, SLICOT provides methods for the design and analysis...
  • TeXmacs

  • Referenced in 14 articles [sw05355]
  • many external systems for computer algebra, numerical analysis, and statistics. New presentation styles...
  • Daesa

  • Referenced in 12 articles [sw14290]
  • Matlab tool for structural analysis of differential-algebraic equations: theory. DAESA, Differential-Algebraic Equations Structural ... MATLAB tool for structural analysis of differential-algebraic equations (DAEs). It allows convenient translation...
  • MOLGEN

  • Referenced in 26 articles [sw00586]
  • algorithm MOLGEN).par The algorithm relies on algebraic methods rather than combinatorial considerations and allows ... system for the structural analysis of chemical compounds. Computer algebra system...
  • HAP

  • Referenced in 38 articles [sw04870]
  • library for use with the GAP computer algebra system, and is still under development ... complexes in the context of topological data analysis...
  • SYMMGRP

  • Referenced in 118 articles [sw01066]
  • other symbolic programs for Lie symmetry analysis of partial differential equations symmgrp.max: A Macsyma program ... works only under Macsyma, the commercial computer algebra system. The 1991 version of symmgrp.max (with...