• SADE

  • Referenced in 17 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...
  • dSPIN

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

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

  • Referenced in 21 articles [sw06083]
  • Graphical Gaussian Models with Edge and Vertex Symmetries , Estimation, model selection and other aspects ... Graphical Gaussian models with edge and vertex symmetries (Graphical Gaussian models with colours...
  • TENSOR

  • Referenced in 29 articles [sw18284]
  • space dimensions (cartesian or axial symmetry), and is particularly appropriate for problems involving compressible flow...
  • 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...
  • Superiso

  • Referenced in 19 articles [sw00929]
  • present a program for calculating the isospin symmetry breaking in B→K * γ decays ... factorization method. We show that isospin symmetry breaking proves to be a very restrictive observable...
  • DESOLVII

  • Referenced in 19 articles [sw06914]
  • Finding higher symmetries of differential equations using the MAPLE package DESOLVII. We present and describe ... routines allowing the determination of higher symmetries (contact and Lie-Bäcklund) for systems of both...
  • PDDE-CONT

  • Referenced in 26 articles [sw08419]
  • feedback (an example which has a continuous symmetry), a high-dimensional traffic model, a (regularized...
  • CFTs4D

  • Referenced in 26 articles [sw23882]
  • treatment of conserved operators and permutation symmetries. Finally, we implement our framework in a Mathematica...
  • xPerm

  • Referenced in 25 articles [sw01153]
  • index canonicalization with respect to permutation symmetries. It is called xPerm, and has been written...
  • LoLA

  • Referenced in 25 articles [sw04381]
  • supported. For state space reduction, LoLA features symmetries, stubborn sets, and coverability graphs...
  • FINGER

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

  • Referenced in 13 articles [sw02613]
  • clustering method using a new point symmetry-based distance measure. An evolutionary clustering technique ... described that uses a new point symmetry-based distance measure. The algorithm is therefore able ... used. The proposed GA with Point Symmetry (GAPS) distance based clustering algorithm is able ... long as they possess the characteristic of symmetry. GAPS is compared with existing symmetry-based...
  • TopSpin

  • Referenced in 12 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...
  • ApplySym

  • Referenced in 15 articles [sw07753]
  • Programs for Applying Symmetries of PDEs In this paper the programs APPLYSYM, QUASILINPDE and DETRAFO ... which aim at the utilization of infinitesimal symmetries of differential equations...
  • LanHEP

  • Referenced in 21 articles [sw00502]
  • written with summation over indices of broken symmetries and using special symbols for complicated expressions...
  • SymmSpin

  • Referenced in 21 articles [sw07517]
  • give a detailed description of SymmSpin, a symmetry-reduction package for Spin. It offers four...
  • MathTensor

  • Referenced in 20 articles [sw09364]
  • large systems of equations and for detecting symmetries in tensor structures. The author addresses problems...
  • OPECgen

  • Referenced in 20 articles [sw13463]
  • conditioning, convexity of the objective, monotonicity and symmetry of the second-level problem...