
SYMMGRP
 Referenced in 104 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...

DIMSYM
 Referenced in 71 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...

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

LIE
 Referenced in 72 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...

SYMMGRP.MAX
 Referenced in 66 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...

GeM
 Referenced in 46 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...

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

SPDE
 Referenced in 35 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...

SYM
 Referenced in 31 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...

LIEPDE
 Referenced in 25 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...

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

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

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

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

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

dSPIN
 Referenced in 29 articles
[sw09888]
 function code references (function pointers); garbage collection; symmetry reductions. The design of dSPIN is driven...

SuSpect
 Referenced in 20 articles
[sw00933]
 scales, the consistent implementation of radiative electroweak symmetry breaking and the calculation of the physical ... minima, large finetuning in the electroweak symmetry breaking condition, as well as agreement with...

LIE0
 Referenced in 17 articles
[sw16625]
 REDUCE package for determining Lie symmetries of ordinary and partial differential equations. Program title: LIE0 ... LIE2, LIE3, LIE4. Nature of problem: Lie symmetries of differential equations play an important role ... physical meaning. To know all Lie symmetries for a given problem is therefore of utmost...

FINGER
 Referenced in 25 articles
[sw07104]
 interleaving formula derivation with code generation, exploiting symmetry through generated functions and subroutines. Current capabilities...

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