• pAQFT

  • Referenced in 7 articles [sw11711]
  • field theory. We investigate various aspects of invariance under local symmetries in the framework ... other issues related to local gauge invariance and, using the language of homological algebra ... compare different approaches to quantization of gauge theories in the pAQFT framework...
  • SmeftFR

  • Referenced in 3 articles [sw31392]
  • SMEFT) including the complete set of gauge invariant operators up to dimension 6. Feynman rules ... option, the user can also choose preferred gauge fixing, generating Feynman rules in unitary...
  • LPDO

  • Referenced in 3 articles [sw11549]
  • them), it implements generating systems of gauge invariants for separate operators and operator pairs...
  • EFTofPNG

  • Referenced in 3 articles [sw20815]
  • full computation of all derivatives and gauge invariant physical observables of interest. The upcoming ”EFTofPNG...
  • GIFGA

  • Referenced in 1 article [sw17588]
  • Gauge-invariant frozen Gaussian approximation method for the Schrödinger equation with periodic potentials. We develop ... gauge-invariant frozen Gaussian approximation (GIFGA) method for the Schrödinger equation (LSE) with periodic potentials ... spreading. Moreover, it is invariant with respect to the gauge choice of the Bloch eigenfunctions...
  • DEFT

  • Referenced in 4 articles [sw28087]
  • applied to 4-dimensional, Poincaré invariant theories with gauge group...
  • FieldsX

  • Referenced in 1 article [sw34826]
  • gauge fields. This includes the standard tools of curved-space γ matrices, Fierz identities, invariant ... BRST differential for (supersymmetric) gauge theories and to compute their ... relative) cohomologies, from which anomalies and gauge-invariant operators can be determined. I illustrate...
  • NonAbelianHilbert

  • Referenced in 1 article [sw11771]
  • NonAbelianHilbert – A software package for constructing gauge invariant monomials in Mathematica...
  • E6Tensors

  • Referenced in 1 article [sw22275]
  • further give a complete list of gauge invariant, renormalisable terms for superpotentials and Lagrangians...
  • CMBEASY

  • Referenced in 1 article [sw21684]
  • different cosmological models and gauges. Both gauge-invariant perturbations and quintessence support has been added...
  • Leptoquark

  • Referenced in 1 article [sw28235]
  • emphasising the implications of SU(2) gauge invariance, electroweak and flavour constraints, on the possible...
  • Dalton

  • Referenced in 2 articles [sw33911]
  • activity can be studied in a gauge-origin-invariant manner. Frequency-dependent molecular properties...
  • ADOL-C

  • Referenced in 233 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ACL2

  • Referenced in 277 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BIGEBRA

  • Referenced in 19 articles [sw00078]
  • Clifford and Graßmann Hopf algebras via the BIGEBRA...
  • Cadabra

  • Referenced in 80 articles [sw00097]
  • Cadabra is a powerful computer program for the...
  • CASA

  • Referenced in 95 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CLIFFORD

  • Referenced in 79 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • CoCoA

  • Referenced in 621 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1784 articles [sw00161]
  • Coq is a formal proof management system. It...