
MetiTarski
 Referenced in 50 articles
[sw00573]
 decision procedure (QEPCAD) for the theory of real closed fields. The decision procedure simplifies clauses...

DsixTools
 Referenced in 12 articles
[sw23378]
 DsixTools: The Standard Model Effective Field Theory Toolkit. We present DsixTools, a Mathematica package ... dimensionsix Standard Model Effective Field Theory. Among other features, DsixTools allows the user...

FeynRules
 Referenced in 73 articles
[sw06468]
 model: from theory to phenomenology. Thanks to the latest development in the field of Monte ... implementation of any beyond the standard model theory in those tools, studying the property...

O'Mega
 Referenced in 14 articles
[sw07195]
 compiler for tree amplitudes in quantum field theory, and briefly describe its usage. O’Mega...

Rosetta
 Referenced in 8 articles
[sw28086]
 basis translator for Standard Model effective field theory. We introduce Rosetta, a program allowing ... translation between different bases of effective field theory operators. We present the main functions ... phenomenological studies using an effective field theory framework can be straightforwardly performed...

BenderWu
 Referenced in 12 articles
[sw22948]
 which allows the study of the perturbation theory of an arbitrary, locally harmonic 1D quantum ... form a prototype for regularized quantum field theory. We first generalize the method of Bender...

MatchingTools
 Referenced in 8 articles
[sw27512]
 Python library for symbolic effective field theory calculations. MatchingTools is a Python library for doing ... symbolic calculations in effective field theory. It provides the tools to construct general models...

PyR@TE
 Referenced in 11 articles
[sw16617]
 group equations for a general gauge field theory have been known for quite some time...

pAQFT
 Referenced in 7 articles
[sw11711]
 symmetry invariance in perturbative algebraic quantum field theory. We investigate various aspects of invariance under ... framework of perturbative algebraic quantum field theory (pAQFT). Our main result is the proof that ... certain class of fields in quantum electrodynamics and in YangMills theory. Our result...

ConformalBlocks
 Referenced in 10 articles
[sw08674]
 that arise in conformal field theory. Each triple (g,l,(λ1,...,λn)) with...

TSIL
 Referenced in 9 articles
[sw00981]
 selfenergy calculations in relativistic quantum field theory in four dimensions. Solution method: Analytical evaluation...

KADATH
 Referenced in 9 articles
[sw09575]
 physics, in the fields of gauge field theory and general relativity...

Wilson
 Referenced in 9 articles
[sw23847]
 evolution within the Standard Model effective field theory (SMEFT), matching onto the weak effective theory...

TRACER
 Referenced in 9 articles
[sw07361]
 higher order corrections in Relativistic Quantum Field Theories. A short comparison of procedural versus rule...

Redberry
 Referenced in 8 articles
[sw20303]
 loop calculations in quantum field theory. In the paper we give detailed overview of Redberry...

SHELL2
 Referenced in 8 articles
[sw16623]
 shell renormalization scheme, the effective field theory of static quarks and other problems...

GRC 3.2
 Referenced in 5 articles
[sw11333]
 System for Differential Geometry, Gravitation and Field Theory. The computer algebra system GRG is designed ... make calculation in differential geometry and field theory as simple and natural as possible...

EFTofPNG
 Referenced in 5 articles
[sw20815]
 high precision computation with the Effective Field Theory of PostNewtonian Gravity. We present ... high precision computation in the effective field theory of postNewtonian (PN) Gravity, including spins...

SMEFTsim
 Referenced in 7 articles
[sw23894]
 codes for the Standard Model Effective Field Theory (SMEFT) in FeynRules — the SMEFTsim package...

feyngen
 Referenced in 4 articles
[sw19941]
 computation of perturbative expansions of quantum field theory amplitudes are provided. feyngen can be used ... perturbation theory of the underlying quantum field theory. feyngen is validated by comparison to explicit ... calculations of zero dimensional quantum field theories and feyncop is validated using a combinatorial identity...