
GeM
 Referenced in 100 articles
[sw00332]
 Maplebased “GeM” software package for automated symmetry and conservation law analysis of systems ... standard program that employs “GeM” routines for symmetry, adjoint symmetry or conservation law analysis ... output in the canonical form. Classification of symmetries and conservation laws with respect to constitutive...

SYMMGRP
 Referenced in 121 articles
[sw01066]
 SYMMGRP.MAX and other symbolic programs for Lie symmetry analysis of partial differential equations symmgrp.max ... program for the calculation of Lie point symmetries of large systems of differential equations...

SnapPea
 Referenced in 163 articles
[sw06873]
 volume, ChernSimons invariant (if orientable), homology, symmetry or isometry group, shortest geodesic, chirality...

DIMSYM
 Referenced in 74 articles
[sw04279]
 program primarily for the determination of symmetries of differential equations. It also can be used ... compute symmetries of distributions of vector fields or differential forms on finite dimensional manifolds, symmetries ... partial differential equations and the type of symmetry to be found (Lie point, LieBacklund ... equations for the generator of the generic symmetry). It proceeds to solve these equations, reporting...

LIE
 Referenced in 82 articles
[sw09264]
 classical Lie analysis, finding the point symmetries of wellposed differential equations. This ... extended to contact, LieBacklund and nonclassical symmetries. Memory utilization has been improved...

SYM
 Referenced in 67 articles
[sw07756]
 symmetry  finding package for Mathematica. A new package for computing the symmetries of systems ... very useful tool for introducing the symmetry solving method to students and nonmathematicians...

SYMMGRP.MAX
 Referenced in 72 articles
[sw10756]
 computer calculation of Lie point symmetries of large systems of differential equations. Solution method ... construction of the symmetry groups of differential equations is based on an adaptation...

Gecode
 Referenced in 83 articles
[sw06272]
 search engines (parallel, interactive graphical, restarts); automatic symmetry breaking (LDSB); MiniZinc support; and many more...

SOFTSUSY
 Referenced in 80 articles
[sw01415]
 condition, as well as successful radiative electroweak symmetry breaking. The program can also calculate...

LiteRed
 Referenced in 78 articles
[sw16341]
 convenient tools for the search of the symmetry relations, construction of the differential equations...

micrOMEGAs
 Referenced in 73 articles
[sw01425]
 matter. It is assumed that a discrete symmetry like Rparity ensures the stability...

TRLan
 Referenced in 71 articles
[sw04029]
 eigenvalue problem may have some symmetry and only a portion of the physical domain...

PALP
 Referenced in 70 articles
[sw00672]
 facet enumeration, computation of incidences and symmetries, as well as completion...

Symmetry in Chaos
 Referenced in 39 articles
[sw05530]
 Symmetry in Chaos calculates fractals using a method first described in the book ”Symmetry...

SPDE
 Referenced in 39 articles
[sw16714]
 Package SPDE for Determining Symmetries of Partial Differential Equations. The package SPDE provides ... which may be applied to determine the symmetry group of Lie or pointsymmetries...

LIEPDE
 Referenced in 32 articles
[sw01216]
 package LIEPDE computes infinitesimal symmetries of differential equations (DEs). These can be point, contact ... generalized higher order symmetries. The overdetermined system of symmetry conditions is solved by the program ... allow the formulation and solution of the symmetry conditions in successive stages to lower ... computation of the prolongation of the symmetry vector up to some given order...

FracSym
 Referenced in 29 articles
[sw16769]
 FracSym: automated symbolic computation of Lie symmetries of fractional differential equations. In this paper ... systematic calculation of Lie point symmetries for fractional order differential equations (FDEs) using the method ... USATU 9, No. 21, 125–135 (2007); “Symmetry properties of fractional diffusion equations”, Phys ... here to allow for the determination of symmetries for FDEs with n independent variables...

xTensor
 Referenced in 33 articles
[sw04984]
 Relativity. It works with tensors with arbitrary symmetries under permutations of indices, defined on several ... list of indices under permutation symmetry groups...

SADE
 Referenced in 21 articles
[sw07076]
 present the package SADE (Symmetry Analysis of Differential Equations) for the determination of symmetries ... nonclassical, Lie–Bäcklund and potential symmetries, invariant solutions, firstintegrals, Nöther theorem for both discrete ... equations, order and dimension reductions using Lie symmetries, classification of differential equations, Casimir invariants ... determination of quasipolynomial firstintegrals, Lie symmetries and invariant surfaces. Examples...

PAT
 Referenced in 38 articles
[sw13258]
 implemented in PAT, e.g. partial order reduction, symmetry reduction, process counter abstraction, parallel model checking...