• DsixTools

  • Referenced in 13 articles [sw23378]
  • DsixTools: The Standard Model Effective Field Theory Toolkit. We present DsixTools, a Mathematica package ... handling of the dimension-six Standard Model Effective Field Theory. Among other features, DsixTools allows...
  • Wilson

  • Referenced in 10 articles [sw23847]
  • renormalization group evolution within the Standard Model effective field theory (SMEFT), matching onto the weak...
  • SMEFTsim

  • Referenced in 8 articles [sw23894]
  • report codes for the Standard Model Effective Field Theory (SMEFT) in FeynRules — the SMEFTsim package ... dimension six operator corrections to the Standard Model using numerical tools, where predictions...
  • Rosetta

  • Referenced in 8 articles [sw28086]
  • operator basis translator for Standard Model effective field theory. We introduce Rosetta, a program allowing...
  • SmeftFR

  • Referenced in 4 articles [sw31392]
  • Feynman rules generator for the Standard Model Effective Field Theory. We present SmeftFR, a Mathematica ... Feynman rules for the Standard Model Effective Field Theory (SMEFT) including the complete...
  • SMEFT@NLO

  • Referenced in 2 articles [sw38907]
  • loop computations in the standard-model effective field theory at dimension six. Our general implementation...
  • dim6top

  • Referenced in 1 article [sw38906]
  • quark LHC measurements in the standard-model effective field theory. This note proposes common standards...
  • DEFT

  • Referenced in 7 articles [sw28087]
  • program, DEFT, for manipulating operators in effective field theories (EFTs). In its current incarnation, DEFT ... theories with gauge group SU(3)×SU(2)×U(1), such as the Standard Model...
  • ANSYS

  • Referenced in 666 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • BARON

  • Referenced in 327 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CASA

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

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

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

  • Referenced in 200 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • Cuba

  • Referenced in 61 articles [sw00173]
  • Cuba -- a library for multidimensional numerical integration. The...
  • FGb

  • Referenced in 244 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAP

  • Referenced in 2974 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • HDECAY

  • Referenced in 41 articles [sw00401]
  • HDECAY: a program for Higgs boson decays in...
  • HSL

  • Referenced in 274 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...