Registry · Definition IV.D339 tau-effective formalized

IV.D339 — alpha_s NLO Formula

NLO strong coupling: 2*kappa(C;3)*(1 - iota^2/5) at +43 ppm from PDG alpha_s(M_Z)=0.1179. NLO coefficient -1/5 = -1/W_3(4).

Book IV Part 3 Ch. 27

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeinbergNLO

Symbol: alpha_s_nlo_denominator