
CandS
 Referenced in 109 articles
[sw07308]
 applicable to calculate the basic Euclidean differential invariants of curves and surfaces and to present ... starting point for working in Euclidean differential geometry with Mathematica. This notebook, the adapted...

AIDA
 Referenced in 58 articles
[sw11535]
 AIDA Maple Package: Algebraic Invariants and their Differential Algebras. The AIDA package will ... routines to explore algebra of differential invariants: computation of generating sets of invariants, rewritings, syzygies...

SADE
 Referenced in 20 articles
[sw07076]
 differential equations. The main methods implemented are: Lie, nonclassical, Lie–Bäcklund and potential symmetries, invariant ... discrete and continuous systems, solution of ordinary differential equations, order and dimension reductions ... using Lie symmetries, classification of differential equations, Casimir invariants, and the quasipolynomial formalism...

Jets
 Referenced in 30 articles
[sw23621]
 Maple procedures to facilitate solution of differential equations in total derivatives on diffieties. Otherwise said ... operators, any many other invariants of systems of partial differential equations. Jets implements the algorithms...

GELDA
 Referenced in 33 articles
[sw00331]
 linear differentialalgebraic equations (DAEs) with variable coefficients of arbitrary index An important invariant ... called strangeness index, which generalizes the differentiation index ([2],[3],[5]]) for systems with undetermined ... general DAEs require the system to have differentiation index not higher than one, which corresponds ... which first determines all the local invariants and then transforms the system (1) into...

Charon
 Referenced in 20 articles
[sw19755]
 specified using differential as well as algebraic constraints, and invariants restricting the flow spaces...

FiOrDii
 Referenced in 3 articles
[sw22211]
 Finding first order differential invariants through the Sfunction. The method presented in Duarte ... search for first order invariants of second order ordinary differential equation (2ODEs) makes...

FiOrDi
 Referenced in 2 articles
[sw16767]
 Maple package to find first order differential invariants of 2ODEs via a Darboux approach ... algorithm to find elementary first order differential invariants (elementary first integrals) of a class...

GENDA
 Referenced in 15 articles
[sw04062]
 package for the numerical solution of nonlinear differentialalgebraic equations (DAEs) of arbitrary index0 ... with an initial conditionx(t0)=x0An important invariant in the analysis of DAEs ... called strangeness index, which generalizes the differentiation index [2], [3], [5] for systems with undetermined...

FracSym
 Referenced in 28 articles
[sw16769]
 Continuous transformation groups of fractional differential equations”, Vestn. USATU ... each of the FDEs discussed, selected invariant solutions are then presented...

SchNet
 Referenced in 7 articles
[sw40890]
 principles. This includes rotationally invariant energy predictions and a smooth, differentiable potential energy surface...

MapDE
 Referenced in 2 articles
[sw35022]
 implementation in Maple, for mappings relating differential equations. We consider the problem ... vector fields leaving R invariant. For systems of exact differential polynomials R, ^R our algorithm ... invariance algebra for R to those for ^R. MapDE involves applying the differentialelimination algorithm...

ODEtools
 Referenced in 12 articles
[sw09257]
 analytical solving of firstorder ordinary differential equations (ODEs) using Lie group symmetry methods ... generator; the construction of the most general invariant firstorder ODE under given symmetries...

SCOTS
 Referenced in 17 articles
[sw20172]
 righthandside of the differential equation together with a number of discretization parameters ... algorithms to synthesize controllers with respect to invariance and reachability specifications. The atomic propositions, which...

HyRG
 Referenced in 0 articles
[sw20152]
 randomly generating hybrid automata with affine differential equations, invariants, guards, and assignments. Selecting an arbitrary ... partition the set of all affine differential equations by using restrictions on eigenvalues such ... components describing discrete behavior (guards, assignments, and invariants) to allow either timedependent or state...

ObservabilityTest
 Referenced in 20 articles
[sw36921]
 maple package that test observability/identifiability of ordinary differential systems in polynomial time. Bibliographic reference (citing ... model letting the inputs and the outputs invariant. We present a probabilistic seminumerical algorithm that...

HyCreate
 Referenced in 2 articles
[sw20138]
 mode differential equations, guard conditions, discrete switch resets, and mode invariants are all input using...

LieSymm
 Referenced in 4 articles
[sw12188]
 package for finding Lie symmetries of partial differential equations is presented. The package is applied ... optics. As a result of this, group invariant solutions are obtained. Comparisons with earlier published...

irid_fod
 Referenced in 5 articles
[sw20906]
 Matlab function irid_fod. Impulse response invariant discretization of fractional order integrators/differentiators. irid_fod function ... called a fractional order differentiator if 0 < r < 1 and a fractional order integrator...

SBA
 Referenced in 24 articles
[sw05242]
 License (GPL). Bundle Adjustment (BA) is almost invariably used as the last step of every ... hand, generated with a tool supporting symbolic differentiation (e.g. maple), or obtained using automatic differentiation...