
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]
 Gaugeinvariant frozen Gaussian approximation method for the Schrödinger equation with periodic potentials. We develop ... gaugeinvariant 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 4dimensional, Poincaré invariant theories with gauge group...

FieldsX
 Referenced in 1 article
[sw34826]
 gauge fields. This includes the standard tools of curvedspace γ matrices, Fierz identities, invariant ... BRST differential for (supersymmetric) gauge theories and to compute their ... relative) cohomologies, from which anomalies and gaugeinvariant 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 gaugeinvariant 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 gaugeorigininvariant manner. Frequencydependent molecular properties...

ADOLC
 Referenced in 233 articles
[sw00019]
 ADOLC: 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 specialpurpose 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...