
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 reportquality...

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

AUTO86
 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...

BioPEPA
 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 largescale differential algebraic systems. The authors describe ... sensitivity analysis of largescale 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 differentialalgebraic equations: theory. DAESA, DifferentialAlgebraic Equations Structural ... MATLAB tool for structural analysis of differentialalgebraic 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...