• 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, first-integrals, Nöther theorem for both discrete...
  • AFLOW-SYM

  • 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 second-level 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 R-parity ensures the stability...
  • PAT

  • Referenced in 36 articles [sw13258]
  • deadlock-freeness, divergence-freeness, 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, Chern-Simons invariant (if orientable), homology, symmetry or isometry group, shortest geodesic, chirality ... small hyperbolic 3-manifolds 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 item-indexable 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 on-the-fly symmetry...
  • BEARTEX

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