
FracSym
 Referenced in 28 articles
[sw16769]
 Symmetry properties of fractional diffusion equations”, Phys. Scr. 2009, T136, Article ... here to allow for the determination of symmetries for FDEs with n independent variables...

SADE
 Referenced in 20 articles
[sw07076]
 Equations) for the determination of symmetries and related properties of systems of differential equations ... nonclassical, Lie–Bäcklund and potential symmetries, invariant solutions, firstintegrals, Nöther theorem for both discrete...

AFLOWSYM
 Referenced in 3 articles
[sw35803]
 evaluating the complete suite of symmetry properties, featuring various representations for the point, factor...

OPECgen
 Referenced in 20 articles
[sw13463]
 MATLAB, allows the user to control different properties of the QPEC and its solution. Options ... symmetry of the secondlevel problem, and so on. We believe these properties may substantially...

micrOMEGAs
 Referenced in 72 articles
[sw01425]
 Code to calculate the properties of a stable massive particle in a generic model. First ... matter. It is assumed that a discrete symmetry like Rparity ensures the stability...

PAT
 Referenced in 36 articles
[sw13258]
 deadlockfreeness, divergencefreeness, reachability, LTL properties with fairness assumptions, refinement checking and probabilistic model ... implemented in PAT, e.g. partial order reduction, symmetry reduction, process counter abstraction, parallel model checking...

SnapPea
 Referenced in 163 articles
[sw06873]
 volume, ChernSimons invariant (if orientable), homology, symmetry or isometry group, shortest geodesic, chirality ... small hyperbolic 3manifolds with certain specific properties...

GFIT3C
 Referenced in 2 articles
[sw10213]
 that his approach maintains all the symmetry properties of the system and fulfils some criteria...

SYVA
 Referenced in 1 article
[sw28312]
 symmetry of molecules based on vector algebra. Symmetry is a useful concept in physics ... used to find out some simple properties of a molecule or simplify complex calculations ... algebraic method is described to determine all symmetry elements of an arbitrary molecule. To carry ... group of the molecule, revealing the symmetry properties of normal modes of vibration and symmetrizing...

Affine
 Referenced in 5 articles
[sw08572]
 based on the properties of weights and Weyl symmetry. Computation of weight multiplicities in irreducible...

LoLA
 Referenced in 26 articles
[sw04381]
 place/transition nets. Implemented verification techniques cover standard properties (liveness, reversibility, boundedness, reachability, dead transitions, deadlocks ... supported. For state space reduction, LoLA features symmetries, stubborn sets, and coverability graphs...

GrIP
 Referenced in 3 articles
[sw32821]
 field content and their transformation properties under the assigned symmetries. The order of the polynomial...

Affine.m
 Referenced in 3 articles
[sw10836]
 based on the properties of weights and Weyl symmetry. Computation of weight multiplicities in irreducible...

BicSPAM
 Referenced in 3 articles
[sw29972]
 allow for symmetries and to seize efficiency gains from itemindexable properties and/or from partitioning ... guarantees. Results show BicSPAM ability to capture symmetries, handle planted noise, and scale in terms...

PARASPAR
 Referenced in 1 article
[sw33377]
 matrix has any special property (such as symmetry or positive definiteness) or any special pattern...

ElAM
 Referenced in 2 articles
[sw12498]
 simple cubic symmetry, it can be difficult to visualise how properties such as Young...

Wulffman
 Referenced in 3 articles
[sw31376]
 Wulff shape) for solids of arbitrary crystallographic symmetry. The Wulff shape is often the equilibrium ... properties of a material. Input quantities to the software are the point group symmetry...

CRKSPH
 Referenced in 9 articles
[sw41141]
 rigorously conserved without any assumption about kernel symmetries, while additionally maintaining approximate angular momentum conservation ... evolution equations to enforce the appropriate conservation properties, at the sacrifice of full consistency...

ExplicitPRISMSymm
 Referenced in 2 articles
[sw13369]
 exponentially large models. Most work on symmetry reduction focuses on symbolically represented probabilistic models, which ... build and perform reasonably well at property checking. In this work, we rather focus ... property checking, but face hurdles in model construction. We present an onthefly symmetry...

BEARTEX
 Referenced in 2 articles
[sw09010]
 sample symmetries down to triclinic, graphical display of data, polycrystal tensor property determinations and various...