• 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 ... dimension-six 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 Yang-Mills 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]
  • self-energy 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 Post-Newtonian Gravity. We present ... high precision computation in the effective field theory of post-Newtonian (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...