• GeM

  • Referenced in 100 articles [sw00332]
  • Maple-based “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, Chern-Simons 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, Lie-Backlund ... 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 well-posed differential equations. This ... extended to contact, Lie-Backlund 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 non-mathematicians...
  • 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 R-parity 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 point-symmetries...
  • 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, first-integrals, Nöther theorem for both discrete ... equations, order and dimension reductions using Lie symmetries, classification of differential equations, Casimir invariants ... determination of quasi-polynomial first-integrals, 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...