
SYMMGRP
 Referenced in 114 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 140 articles
[sw06873]
 volume, ChernSimons invariant (if orientable), homology, symmetry or isometry group, shortest geodesic, chirality...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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