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

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

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

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

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

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

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

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

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

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

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

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

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

SuSpect
 Referenced in 19 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...

TopSpin
 Referenced in 14 articles
[sw00972]
 Automatic Symmetry Reduction for the SPIN Model Checker. TopSPIN is an automatic symmetry reduction tool ... automatically determine a group of component symmetries associated with the specification. The tool automatically modifies ... algorithm employed by SPIN to exploit these symmetries during verification. This can result in significantly...

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