罗西，M。;弗利特尼，A.P。 符号代数和规范理论的重整化。 （英语） Zbl 0888.65128号 计算。物理学。Commun公司。 90，第2-3号，189-200（1995）. 概要：与规范理论重整化相关的符号代数可以通过使用现代软件包的机器有效地执行。我们设计了一个方案来表示和操纵规范理论微扰计算中涉及的对象。该方案可以使用通用软件包Mathematica轻松实现。本文讨论的技术用于计算表象（R）中无质量费米子的非阿贝尔{SU}（m）规范理论的重正化群函数，并在双圈近似下简化弱电计算中的一些表达式。 MSC公司： 65Z05个 科学应用 65岁15岁 数值算法的封装方法 40年第35季度 量子力学中的偏微分方程 81T13型 量子场论中的Yang-Mills和其他规范理论 68瓦30 符号计算和代数计算 2010年第81季度 Bethe-Salpeter和量子理论中出现的其他积分方程 关键词：微扰理论;量子场论;符号代数;洛伦兹张量;狄拉克与对称群代数;费曼积分;数学软件;重整化群函数;非阿贝尔规范理论 软件：数学软件;外壳2;跟踪器 PDF格式BibTeX公司 XML格式引用 \textit{M.Rossi}和\textit{A.P.Flitney}，计算。物理学。Commun公司。90，编号2--3，189-200（1995；Zbl 0888.65128） 全文： 内政部 arXiv公司 参考文献： [1] 塔拉索夫，O.V。；弗拉迪米洛夫，A.A。；A.Yu Zharkov。，物理学。莱特。B、 93429（1980年） [2] Kazakov，D.I.，物理学。莱特。B、 133406（1983） [3] 苏联。物理学。美国。，23, 59 (1980) [4] 莫蒂格，R。；Böhm，M。；Denner，A.，《计算》。物理学。社区。，64, 345 (1991) [5] 谢，A。；Yehudai，E.，《计算》。物理。，6, 253 (1992) [6] Beringer，J.（《物理学研究中的新计算技术II》，《物理学研究中的新计算技术II》，La Londe les Maures（1992）） [7] 弗莱舍，J。；塔拉索夫，O.V.，计算。物理学。社区。，71, 193 (1992) [8] Jamin，M。；Lantenbacher，E.，计算。物理学。社区。，74, 265 (1993) [9] West，T.H.，计算。物理学。社区。，77, 286 (1993) [10] Wolfram，S.，《数学：用计算机做数学的系统》（Mathematica:A System for Doing Mathematics by Computer）（1988年），艾迪森·韦斯利：加利福尼亚州艾迪森韦斯利红木市·Zbl 0671.65002号 [11] Vermaseren，J.A.M.，《FORM用户指南》（1990年），Nikhef:Nikhef阿姆斯特丹 [12] 拉林，S.A。；Vermaseren，J.A.M.，Z.Phys.博士。C、 57、93（1993） [13] 't Hooft，G。；维尔特曼，M.，Nucl。物理学。B、 44189（1972） [14] 琼斯，D.R.T.，Nucl。物理学。B、 75，53（1974年） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。