• # 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...

• 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 quasi-polynomial 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 differential-algebraic equations (DAEs) with variable coefficients of arbitrary index An important invariant ... called strangeness index, which generalizes the differentiation index (,,]) 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...
• # FiOrDii

• Referenced in 3 articles [sw22211]
• Finding first order differential invariants through the S-function. 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 differential-algebraic 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 , ,  for systems with undetermined...
• # FracSym

• Referenced in 29 articles [sw16769]
• Continuous transformation groups of fractional differential equations”, Vestn. USATU ... each of the FDEs discussed, selected invariant solutions are then presented...
• # 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 differential-elimination algorithm...
• # SCOTS

• Referenced in 20 articles [sw20172]
• right-hand-side 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...
• # ODEtools

• Referenced in 12 articles [sw09257]
• analytical solving of first-order ordinary differential equations (ODEs) using Lie group symmetry methods ... generator; the construction of the most general invariant first-order ODE under given symmetries...
• # 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 time-dependent 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...
• # 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...