
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, firstintegrals, Nöther theorem for both discrete ... equations, order and dimension reductions using Lie symmetries, classification of differential equations, Casimir invariants ... determination of quasipolynomial firstintegrals, 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 LieBäcklund) for systems of both...

PDDECONT
 Referenced in 26 articles
[sw08419]
 feedback (an example which has a continuous symmetry), a highdimensional 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 symmetrybased distance measure. An evolutionary clustering technique ... described that uses a new point symmetrybased 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 symmetrybased...

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 inﬁnitesimal symmetries of diﬀerential 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 symmetryreduction 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 secondlevel problem...