卡斯滕·施耐德 符号求和的项代数、标准表示和差环理论。 （英语） Zbl 1484.81078号 Bluemlein，Johannes（编辑）等人，《反微分和费曼振幅的计算》。根据2020年10月在德国泽乌森举行的会议上的发言选出的论文。查姆：斯普林格。文本单声道。符号。计算。，423-485 (2021). 概述：对现有的符号求和差环理论进行了概述。特别强调用户界面：术语代数和形式差分环设置中相应表示的翻译和反翻译。特别地，利用现有的差分环理论探讨了引入项代数中的规范（唯一）表示及其精化。在此基础上，给出了求和软件包Sigma可用工具的精确输入输出规范。关于整个系列，请参见[兹比尔1475.81004]. 引用于5文件 MSC公司： 81T18型 费曼图 81伏05 强相互作用，包括量子色动力学 68瓦30 符号计算和代数计算 65B10型 级数的数值求和 2016年11月 数字理论算法；复杂性 软件：SIGMA公司;多集成 PDF格式BibTeX公司 XML格式引用 \textit{C.Schneider}，in：反微分和费曼振幅的计算。根据2020年10月在德国泽乌森举行的会议上的发言选出的论文。查姆：斯普林格。423——485（2021；Zbl 1484.81078） 全文： 内政部 arXiv公司 参考文献： [1] P.Paule，《连续关系和创造性伸缩》，载于《反微分和费曼振幅的计算》，J.Blümlein，C.Schneider主编。符号计算的文本和专著（施普林格，柏林，2021）·Zbl 1475.81004号 [2] J.Liouville，《超越功能的统一类功能》（Mémoire sur l'intégration d'une class de functions exceptes）。J.Reine Angew。数学。13, 93-118 (1835) [3] C.Schneider，《心不在焉的乘客问题：计算机代数解决的激励性挑战》。数学。计算。科学。(2020), https://doi.org/10.1007/s11786-020-00494-w。arXiv:2003.01921年·Zbl 07465791号 [4] M.Petkovšek，H.S.Wilf，D.Zeilberger，A=B（A.K.Peters，Wellesley，1996）·Zbl 0848.05002号 [5] C.Kratethaler，C.Schneider，《涉及绝对值的二项式双和的评估》，载于《算法组合学：枚举组合学、特殊函数和计算机代数》，《纪念彼得·鲍尔60岁生日》，V.Pillwein，C.Schneider编辑。《符号计算的文本和专著》（Springer，柏林，2020），第249-295页。arXiv:1607.05314·Zbl 07293168号 [6] S.Laporta，用差分方程高精度计算多回路Feynman积分。国际期刊修订版。物理学。A15，5087-5159（2000）·Zbl 0973.81082号 [7] S.A.Larin、F.Tkachov、J.A.M.Vermaseren，《Mincer的形式版》。技术报告NIKHEF-H-91-18，荷兰NIKHEF（1991） [8] R.N.Lee，多回路主积分的简化微分方程。JHEP 04、108（2015）·Zbl 1388.81109号 [9] J.Middeke，C.Schneider，《使用∏∑-扩张的递归方程组的分母界》，载于《计算机代数进展：纪念谢尔盖·阿布拉莫夫70岁生日》，C.Schneider，E.Zima编辑。《施普林格数学与统计学报》，第226卷（施普林格，柏林，2018），第149-173页。arXiv:1705.00280·Zbl 1406.39010号 [10] S.O.Moch，P.Uwer，S.Weinzierl，嵌套和，超越函数的展开，以及多尺度多环积分。数学杂志。物理学。6, 3363-3386 (2002) ·Zbl 1060.33007号 [11] I.Nemes，P.Paule，符号求和的规范形式指南，《符号计算系统设计进展》，A.Miola，M.Temperini编辑。符号计算的文本和专著（Springer，Wien New York，1997），第84-110页·Zbl 0884.68064号 [12] E.D.Ocansey，C.Schneider，在差环中表示（q-）超几何乘积和混合版本，《计算机代数进展》。WWCA 2016，C.Schneider，E.Zima。《施普林格数学与统计学报》，第226卷（施普林格，柏林，2018），第175-213页。arXiv:1705.01368·Zbl 1405.33029号 [13] E.D.Ocansey，C.Schneider，不同环中嵌套深度较高的超几何积的表示。RISC报告系列20-19，符号计算研究所（RISC），约翰内斯·开普勒大学林茨分校，哈根堡Schloss Hagenberg，4232 Hagenberg-奥地利（2020）。arXiv:2011.08775号 [14] 保尔，最大阶乘分解和符号求和。J.塞姆。计算。20(3), 235-268 (1995) ·Zbl 0854.68047号 [15] P.Paule，A.Riese，《基于代数激励方法的Zeilberger算法的数学模拟》，载于《特殊函数，q系列和相关主题》，M.Ismail，M.Rahman主编，第14卷（AMS，普罗维登斯，1997），第179-210页·Zbl 0869.33010号 [16] P.Paule，C.Schneider，一类新的调和数恒等式的计算机证明。高级申请。数学。31(2), 359-378 (2003). 初步版本在线·Zbl 1039.11007号 [17] P.Paule，C.Schneider，《走向未指定序列的符号求和理论》，载于《量子场论中的椭圆积分、椭圆函数和模形式》，J.Blümlein，P.Paule，C.Schneider编辑。《符号计算的文本和专著》（Springer，柏林，2019），第351-390页。arXiv:1809.06578号 [18] P.Paule，M.Schorn，证明二项式系数恒等式的Zeilberger算法的数学版本。J.塞姆。计算。20(5-6), 673-698 (1995) ·Zbl 0851.68052号 [19] M.Petkovšek，多项式系数线性递归的超几何解。J.塞姆。计算。14(2-3), 243-264 (1992) ·Zbl 0761.11008号 [20] M.Petkovšek，《将和定义为多项式系数线性递归解》（2018）。arXiv:1804.02964[cs.SC] [21] M.Petkovšek，H.Zakrajöek《求解多项式系数线性递归方程》，载于《量子场论中的计算机代数：积分、求和和和特殊函数》，C.Schneider，J.Blümlein编辑。《符号计算的文本和专著》（Springer，柏林，2013），第259-284页·Zbl 1312.65212号 [22] R.Risch，有限项积分问题。事务处理。美国数学。Soc.139167-189（1969）·兹比尔0184.06702 [23] M.Rosenlicht，关于初等积分函数的Liouville定理。派克靴。数学杂志。24, 153-161 (1968) ·兹比尔0155.36702 [24] C.Schneider，在Mathematica中实现Karr求和算法。塞姆·洛塔尔。组合S43b，1-10（2000）·Zbl 0941.68162号 [25] C.Schneider，《不同领域的符号求和》。技术报告01-17，RISC-Linz，J.开普勒大学，博士论文（2001） [26] C.Schneider，求解∏∑-扩张中参数化线性差分方程的分母界集合。蒂米什瓦拉大学。材料-通知。42(2), 163-179 (2004). 程序的扩展版本。2004年SYNASC·Zbl 1112.68139号 [27] C.Schneider，带单嵌套和扩展的符号求和，《ISSAC’04会议录》，J.Gutierrez编辑（ACM出版社，纽约，2004），第282-289页·Zbl 1134.33329号 [28] C.Schneider，∏∑-场中参数化线性差分方程多项式解的次数界。申请。代数工程通信计算。16(1), 1-32 (2005) ·Zbl 1101.39001号 [29] C.Schneider，《为不定嵌套和和乘积表达式寻找最小深度的望远镜》，载于M.Kauers编辑的《2005年国际空间科学院学报》（美国医学会，纽约，2005年）·Zbl 1360.68953号 [30] C.Schneider，∏∑-字段中的产品表示。Ann.Combin.9（1），75-99（2005）·Zbl 1123.33021号 [31] C.Schneider，用不定嵌套和和乘积求解参数化线性差分方程。J.差异。埃克。申请。11(9), 799-821 (2005) ·Zbl 1087.33011号 [32] C.Schneider，简化∏∑-扩张中的和。J.代数应用。6(3), 415-441 (2007) ·Zbl 1120.33023号 [33] 施耐德，符号求和辅助组合学。塞姆。洛萨。组合56，1-36（2007）。第B56b条·兹比尔1188.05001 [34] C.Schneider，符号求和的精细差分场理论。J.塞姆。计算。43(9), 611-644 (2008). arXiv：0808.2543v1·Zbl 1147.33006号 [35] C.Schneider，参数化伸缩证明了和的代数独立性。安·库姆。14, 533-552 (2010). arXiv:0808.2596；初步版本见FPSAC 2007·Zbl 1232.33034号 [36] C.Schneider，符号求和的结构定理。申请。代数工程通信计算。21(1), 1-32 (2010) ·Zbl 1191.68891号 [37] C.Schneider，《寻找最佳嵌套和表示的符号求和方法》，收录于《动机、量子场论和伪微分算子》，A.Carey，D.Ellwood，S.Paycha，S.Rosenberg主编。《克莱数学学报》，第12卷（美国数学学会，普罗维登斯，2010），第285-308页。arXiv:0808.2543号·Zbl 1225.33031号 [38] C.Schneider，《简化差场中的多重和》，载于《量子场论中的计算机代数：积分、求和和和特殊函数》，C.Schneiter，J.Blümlein主编。《符号计算的文本和专著》（Springer，柏林，2013），第325-360页。arXiv公司：1304.4134·Zbl 1315.68294号 [39] C.Schneider，《量子场论中环路积分的现代求和方法：软件包Sigma、EvaluateMultiSums和SumProduction》，载于《ACAT学报》2013年。《物理学杂志：会议系列》，第523卷（012037）（2014），第1-17页。arXiv:1310.0160 [40] C.Schneider，《流线型差分环理论：不定嵌套和、交替符号和参数化伸缩问题》，载于《科学计算的符号和数字算法》（SYNASC），2014年第15届国际研讨会，编辑：F.Winkler，V.Negru，T.Ida，T.Jebelean，D.Petcu，S.Watt，D。Zaharie（IEEE计算机学会，华盛顿，2014），第26-33页。arXiv:1412.2782 [41] C.Schneider，《差分场精细参数化伸缩的快速算法》，载于《计算机代数与多项式》，M.W.J.Guitierrez，J.Schicho主编。计算机科学课堂讲稿（LNCS），第8942卷（施普林格，柏林，2015），第157-191页。arXiv:1307.7887·Zbl 1434.39004号 [42] 施耐德，符号求和的差环理论。J.塞姆。计算。72, 82-127 (2016). arXiv:1408.2776·Zbl 1328.12015年 [43] C.Schneider，差环和应用中的符号求和，摘自《2016年国际社会科学院学报》，M.Rosenkranz编辑（2016），第9-12页·Zbl 1360.68954号 [44] C.Schneider，求和理论II：Rπ∑-扩展的特征和算法方面。J.塞姆。计算。80(3), 616-664 (2017). arXiv:1603.04285·兹比尔1403.12002 [45] C.Schneider，单个嵌套产品的最小表示和代数关系。程序。计算。柔和。46（2），133-161（2020）。arXiv:1911.04837号·Zbl 1478.33008号 [46] C.Schneider，R.Sulzgruber，Novelli-Pak-Stoyanovskii算法复杂性的渐近精确结果。电子。《联合杂志》24（2），1-33（2017）#第2.28页，arXiv:1606.07597·Zbl 1366.05119号 [47] C.Schneider，W.Zudilin，ζ（4）的案例研究，《特兰西瓦尼亚的瞬间超越》会议记录。《数学与统计学报》（施普林格，柏林，2021年）。arXiv:2004.08158 [48] M.F.Singer，Liouvillian系数线性微分方程的Liouvillien解。J.塞姆。计算。11(3), 251-274 (1991) ·Zbl 0776.12002号 [49] M.F.Singer，《线性差分方程的伽罗瓦理论：导论》中线性差分方程式的代数和算法方面，C.Hardouin，J.Sauloy，M.F.Singer编辑。数学调查与专著，第211卷（AMS，普罗维登斯，2016）·Zbl 1347.39002号 [50] M.Steinhauser，MATAD：计算MAssive TADpoles的程序包。计算。物理学。Commun公司。134, 335-364 (2001) ·Zbl 0978.81058号 [51] M.van der Put，M.Singer，差分方程伽罗瓦理论。数学讲义，第1666卷（施普林格，柏林，1997）·Zbl 0930.12006号 [52] M.van Hoeij，线性递归方程的有限奇点和超几何解。J.纯应用。代数139（1-3），109-131（1999）·Zbl 0933.39041号 [53] M.van Hoeij，M.Barkatou，J.Middeke，一阶线性递归系统的分母界族。技术报告（2020年）。arXiv:2007.02926 [54] J.A.M.Vermaseren，调和和，梅林变换和积分。国际期刊修订版。物理学。A142037-2976（1999）·兹伯利0939.65032 [55] K.Wegschaider，二项式多um恒等式的计算机生成证明。开普勒大学RISC硕士论文（1997） [56] S.Weinzierl，关于半整数值、二项式和和二项式逆和的展开。数学杂志。物理学。45, 2656-2673 (2004) ·兹比尔1071.33018 [57] H.Wilf，D.Zeilberger，超几何（普通和“q”）多重sum/积分恒等式的算法证明理论。发明。数学。108, 575-633 (1992) ·Zbl 0739.05007号 [58] D.Zeilberger，特殊函数恒等式的完整系统方法。J.计算。申请。数学。32, 321-368 (1990) ·兹比尔0738.33001 [59] D.Zeilberger，《创造性伸缩的方法》。J.塞姆。计算。11, 195 ·Zbl 0738.33002号 [60] J.Ablinger，《反微分和费曼振幅计算中AZ算法和多重积分包的扩展》，J.Blümlein，C.Schneider编辑，《符号计算中的文本和专著》（Springer，Berlin，2021）。arXiv:2101.11385。 [61] J.Ablinger，J.Blümlein，C.Schneider，分圆多项式生成的调和和和多对数。数学杂志。物理学。52(10), 1-52 (2011). arXiv:1007.0375·Zbl 1272.81127号 [62] J.Ablinger，A.Behring，J.Blümlein，A.De Freitas，A.von Manteuffel，C.Schneider，《3环纯单线重味对结构功能（F_2）（x，（Q^2））和反常维度的贡献》。编号。物理学。B 890，48-151（2014）。arXiv公司：1409.1135·Zbl 1326.81234号 [63] J.Ablinger、J.Blümlein、C.G.Raab、C.Schneider，《迭代二项式和及其相关的迭代积分》。数学杂志。物理学。55(112301), 1-57 (2014). arXiv:1407.1822·Zbl 1306.81141号 [64] J.Ablinger，J.Blümlein，A.De Freitas，A.Hasselhuhn，A.von Manteuffel，M.Round，C.Schneider，F.Wissbrock，在\（O（\alpha_s^3）\）处可变味数方案的转移矩阵元素\（A_{}\）gq（N）。编号。物理学。B 882，263-288（2014）。arXiv:1402.0359·Zbl 1285.81065号 [65] J.Ablinger，A.Behring，J.Blümlein，A.De Freitas，C.Schneider，《根据幂级数求解微分方程耦合系统的算法》，收录于《量子场论中的环路和腿学报》，2016年，编辑：J.Blümlelin，P.Marquard，T.Riemann，第PoS（LL2016）005卷（2016年），第1-15页。arXiv:1608.05376 [66] J.Ablinger，A.Behring，J.Blümlein，A.De Freitas，A.von Manteuffel，C.Schneider，《利用计算机代数计算大规模算子矩阵元素的三环阶梯和V拓扑》。计算。物理学。Commun公司。202, 33-112 (2016). arXiv:1509.08324·Zbl 1348.81034号 [67] J.Ablinger，J.Blümlein，A.De Freitas，C.Schneider，《求解微分方程和差分方程耦合系统的工具箱》，载于《第13届辐射校正国际研讨会论文集（量子场论在现象学中的应用）》，第PoS卷（RADCOR2015）060（2016），第1-13页。arXiv:1601.01856号 [68] J.Ablinger，A.Behring，J.Blümlein，A.De Freitas，A.von Manteuffel，C.Schneider，三圈分裂函数。编号。物理学。B 922，1-40（2017）。阿西夫：1705.01508·兹比尔1373.81370 [69] J.Ablinger、J.Blümlein、A.De Freitas、M.van Hoeij、E.Imamoglu、C.Raab、C.-S.Radu、C.Schneider，《费曼图的迭代椭圆积分和超几何积分》。数学杂志。物理学。59(062305), 1-55 (2018). arXiv:170601299年·Zbl 1394.81164号 [70] J.Ablinger，J.Blümlein，P.Marquard，N.Rana，C.Schneider，平面极限中三圈重夸克形状因子。物理学。莱特。B 7822528-532（2018年）。arXiv:1804.07313 [71] J.Ablinger，J.Blümlein，A.De Freitas，A.Goedicke，C.Schneider，K.Schönwald，三圈胶子算符矩阵元的双质量贡献（A_{gg，Q}^{（3）}）。编号。物理学。B 932129-240（2018）。arXiv:1804.02226·Zbl 1391.81202号 [72] J.Ablinger，J.Blümlein，A.De Freitas，M.Saragnese，C.Schneider，K.Schönwald，具有两个不同质量的三圈极化纯单线算符矩阵元。编号。物理学。B 952（114916），1-18（2020）。arXiv:1911.11630年·Zbl 1472.81263号 [73] J.Ablinger、J.Blümlein、C.Schneider，广义调和和和多对数的分析和算法方面。数学杂志。物理学。54(8), 1-74 (2013). arXiv公司：1302.0378·Zbl 1295.81071号 [74] J.Ablinger，C.Schneider，（分圆）调和和生成的序列的代数独立性。Ann.Combin.22（2），213-244（2018）。arXiv:15100.03692·Zbl 1444.11153号 [75] J.Ablinger，C.Schneider，用幂等表示求解环中系数的线性差分方程，《2021年符号和代数计算国际研讨会论文集》（ISSAC 21），M.Mezzarobba编辑（2021），第27-34页。arXiv:2102.03307。 [76] S.A.Abramov，关于有理函数的求和。兹。维奇斯。mat.Fiz公司。11, 1071-1074 (1971) ·Zbl 0243.65076号 [77] S.A.Abramov，有理右手边一阶线性递推关系解的有理分量。美国S.R.计算。数学。数学。物理学。15, 216-221 (1975). Transl.公司。从Zh。维奇斯。mat、mat、fiz。第15页，第1035-1039页（1975年）·Zbl 0326.65069号 [78] S.A.Abramov，线性微分方程和多项式系数差分方程的有理解。美国S.R.计算。数学。数学。物理学。29(6), 7-12 (1989) ·Zbl 0719.65063号 [79] S.A.Abramov，M.Bronstein，超几何色散和轨道问题，载于《ISSAC’00会议录》，C.Traverso编辑（ACM出版社，纽约，2000年）·兹比尔1326.68340 [80] S.A.Abramov，M.Petkovšek，《线性微分方程和差分方程的D'Alembertian解》，收录于《ISSAC’94学报》，J.von zur Gathern编辑（美国医学会出版社，纽约，1994年），第169-174页·Zbl 0919.34013号 [81] S.A.Abramov，M.Petkovšek，多项式环自同构，有理（w，σ）-正则形式，以及赋值问题。J.塞姆。计算。45(6), 684-708 (2010) ·兹比尔1189.33038 [82] S.A.Abramov，E.V.Zima，非齐次线性方程组的D’Alembertian解（微分、差分和其他），摘自《1996年国际科学院学报》（ACM出版社，纽约，1996年），第232-240页·Zbl 0966.34005号 [83] S.A.Abramov，P.Paule，M.Petkovšek，q微分方程的q超几何解。离散数学。180(1-3), 3-22 (1998) ·Zbl 0932.33019号 [84] S.A.Abramov，M.Bronstein，M.Petkovšek，C.Schneider，《∏（∑*）-场扩展中线性常差分方程的有理解和超几何解》。J.塞姆。计算。107, 23-66 (2021). arXiv:2005.04944[cs.SC]·Zbl 1483.12005年 [85] L.Adams，C.Bogner，A.Schweitzer，S.Weinzierl，以椭圆多对数表示的所有阶的kite积分。数学杂志。物理学。57(12), 122302 (2016) ·Zbl 1353.81097号 [86] G.E.Andrews、P.Paule、C.Schneider，《平面分割VI：Stembridge的TSPP定理》。高级申请。数学。34(4), 709-739 (2005) ·Zbl 1066.05019号 [87] M.Apagodu，D.Zeilberger，多变量Zeilberger-Zeilberger算法和Almkvist-Zeilbeger算法以及Wilf-Zeilbergger理论的锐化。高级申请。数学。37, 139-152 (2006) ·Zbl 1108.05010号 [88] M.Barkatou，关于线性微分方程组的有理解。J.塞姆。计算。28, 547-567 (1999) ·Zbl 0943.34008号 [89] A.Bauer，M.Petkovšek，多元和混合超几何Gosper型算法。J.塞姆。计算。28(4-5), 711-736 (1999) ·Zbl 0973.33010号 [90] A.Behring，J.Blümlein，A.De Freitas，A.Hasselhuhn，A.von Manteuffel，C.Schneider，大动量转移下荷电电流结构函数（xF_3）（x，Q^2）的重味贡献。物理学。版本D 92（114005），1-19（2015）。arXiv:1508.01449 [91] A.Behring，J.Blümlein，A.De Freitas，A.von Manteuffel，C.Schneider，大动量转移下结构函数（g_1）（x，Q^2）的三回路非单一重味贡献。编号。物理学。B 897612-644（2015）。arXiv:1504.08217·Zbl 1329.81362号 [92] J.Blümlein，调和和和相关量之间的代数关系。计算。物理学。Commun公司。159(1), 19-54 (2004). arXiv:hep-ph/0311046·兹比尔1097.11063 [93] J.Blümlein、S.Kurth、Harmonic和和和Mellin变换为两个循环顺序。物理学。版本D60014018（1999） [94] J.Blümlein，C.Schneider，量子场论中计算单尺度过程的任意大矩方法。物理学。莱特。B 771，31-36（2017）。arXiv公司：1701.04614·Zbl 1372.81146号 [95] J.Blümlein，C.Schneider，量子场论中精确计算的分析计算方法。国际期刊修订版。物理学。A 33（1830015），1-35（2018）。arXiv:1809.02889·Zbl 1392.81192号 [96] J.Blümlein，A.Hasselhuhn，C.Schneider，《大规模问题的多水系评估》，载于《RADCOR 2011会议录》，第PoS卷（RADCOR2011）32（2012），第1-9页。arXiv:1202.4303 [97] J.Blümlein，S.Klein，C.Schneider，F.Stan，费曼积分的符号求和方法。J.塞姆。计算。47, 1267-1289 (2012). arXiv:1011.2656·Zbl 1242.81005号 [98] J.Blümlein，M.Round，C.Schneider，粒子物理中的精细完整求和算法，《计算机代数进展》。WWCA 2016，编辑：E.Zima，C.Schneider。《施普林格数学与统计学报》，第226卷（施普林格，柏林，2018），第51-91页。arXiv:1706.03677·Zbl 1457.40001号 [99] J.Blümlein，P.Marquard，N.Rana，C.Schneider，费米子对大质量三环路因子的贡献。编号。物理学。B 949（114751），1-97（2019）。arXiv:1908.00357·Zbl 1448.81470号 [100] J.Blümlein，P.Paule，C.Schneider（编辑），量子场论中的椭圆积分、椭圆函数和模形式。符号计算的文本和专题（施普林格，柏林，2019） [101] J.Blümlein，P.Marquard，C.Schneider，《从线性微分方程耦合系统计算大力矩的精细机械》，第14届辐射校正国际研讨会（RADCOR2019），D.Kosower，M.Cacciari编辑，POS（RADCOR 2019）078（2020），第1-13页。arXiv:1912.04390 [102] J.Broedel，C.Duhr，F.Dulat，L.Tancredi，椭圆曲线上的椭圆多对数和迭代积分。二、。日出积分的应用。物理学。版本D97116009（2018）·Zbl 1409.81162号 [103] M.Bronstein，《符号整合I，超越功能》（Springer，Berlin，1997）·Zbl 0880.12005号 [104] B.Buchberger，R.Loos，《计算机代数中的代数简化》（Springer，维也纳，1983），第11-43页·Zbl 0494.68045号 [105] S.Chen，R.Feng，G.Fu，Z.Li，《关于相容有理函数的结构》，《国际社会科学院学报》2011（2011），第91-98页·Zbl 1323.68590号 [106] W.Y.C.Chen，Q.-H.Hou，H.-T.Jin，Abel-Zeilberger算法。电子。J.Combin.18（2），论文17（2011）·兹比尔1231.33029 [107] S.Chen，M.Jaroschek，M.Kauers，M.F.Singer，Desingularization解释矿石运营商的有序度曲线，载于ISSAC’13的程序d，M.Kauers编辑（2013），第157-164页·Zbl 1360.68927号 [108] K.G.Chetyrkin，F.V.Tkachov，部分积分：在4个循环中计算贝塔函数的算法。编号。物理学。B 192159-204（1981） [109] F.Chyzak，Zeilberger快速算法对一般完整函数的扩展。离散数学。217, 115-134 (2000) ·Zbl 0968.33011号 [110] F.Chyzak，M.Kauers，B.Salvy，《特殊函数恒等式的非完整系统方法》，载于ISSAC’09年会议录，J.May编辑（2009），第111-118页·Zbl 1237.33001号 [111] R.M.Cohn，差分代数（Wiley，Hoboken，1965）·Zbl 0127.26402号 [112] A.I.Davydychev，M.Yu。Kalmykov，Massive Feynman图和反二项式和。编号。物理学。B 699，3-64（2004）·Zbl 1123.81388号 [113] 与代数数的乘法表示有关的算法。加州大学伯克利分校博士论文（1993） [114] S.Gerhold，线性矿石算子方程的解耦系统。林茨J.开普勒大学RISC硕士论文（2002） [115] R.W.Gosper，不定超几何求和的决策程序。程序。美国国家科学院。科学。美国75、40-42（1978）·Zbl 0384.40001号 [116] C.Hardouin，M.F.Singer，线性差分方程的微分伽罗瓦理论。数学。附录342（2），333-377（2008）·Zbl 1163.12002年 [117] P.A.Hendriks，M.F.Singer，《有限项差分方程的求解》。J.塞姆。计算。27(3), 239-259 (1999) ·Zbl 0930.39004号 [118] M.Karr，有限项求和。J.ACM 28，305-350（1981）·Zbl 0494.68044号 [119] M.Karr，有限项求和理论。J.塞姆。计算。1, 303-315 (1985) ·Zbl 0585.68052号 [120] M.Kauers，斯特林数恒等式的求和算法。J.塞姆。计算。42(10), 948-970 (2007) ·Zbl 1142.11008号 [121] M.Kauers，C.Schneider，《未指定序列在符号求和中的应用》，载于J.Dumas编辑的《2006年国际科学院学报》（美国医学会出版社，纽约，2006年），第177-183页·兹比尔1356.68284 [122] M.Kauers，C.Schneider，《未定和的不定和》。离散数学。306(17), 2021-2140 (2006) ·兹比尔1157.05006 [123] M.Kauers，C.Schneider，《带根式表达式的符号求和》，载于2007年《国际科学院学报》，C.Brown编辑（2007年），第219-226页·兹比尔1190.68091 [124] M.Kauers，C.Schneider，一些斯特林数恒等式的自动证明。电子。《联合杂志》，15（1），1-7（2008）。R2级·Zbl 1183.68754号 [125] M.Kauers，M.Jaroschek，F.Johansson，《Sage中的Ore多项式》，《计算机代数和多项式》，J.Gutierrez，J.Schicho，M.Weimann编辑。计算机科学课堂讲稿（2014），第105-125页·Zbl 1439.16049号 [126] C.Koutschan，完整函数的创造性伸缩，摘自《量子场论中的计算机代数：积分、求和和和特殊函数》，C.Schneider，J.Blümlein编辑。《符号计算的文本和专著》（Springer，柏林，2013），第171-194页。arXiv公司：1307.4554·Zbl 1308.81102号 [127] A.Behring，J.Blümlein，G.Falcioni，A.De Freitas，A.von Manteuffel，C.Schneider，带电电流结构函数的渐近三环重味修正（F_L^{W^+-W^-}（x，Q^2。物理学。修订版D 94（11），1-19（2016）。arXiv:1609.06255 [128] J.Ablinger、A.Behring、J.Blümlein、A.De Freitas、A.Hasselhuhn、A.von Manteuffel、M.Round、C.Schneider、F.Wißbrock，《三回路顺序下极化和非极化深部弹性散射的重味修正》，载于《2016年QCD演化学报》，第PoS卷（QCDEV2016）052（2016），第1-16页。arXiv公司：1611.01104·Zbl 1325.81168号 [129] C.Schneider，一种新的Sigma多汇总方法。高级申请。数学。34(4), 740-767 (2005) ·Zbl 1078.33021号 [130] M.Kauers，B.Zimmermann，计算c-有限序列和多序列的代数关系。J.塞姆。计算。43(11), 787-803 (2008) ·Zbl 1163.11084号 [131] J.M.Henn，维正则化中的多环积分变得简单。物理学。修订版Lett。110, 251601 (2013) [132] M.Bronstein，关于系数场中线性常差分方程的解。J.塞姆。计算。29(6), 841-877 (2000) ·Zbl 0961.12004号 [133] J.Blümlein，M.Kauers，S.Klein，C.Schneider，利用计算机代数从Mellin矩确定（O（a_S^3））反常维数和Wilson系数的闭合形式。计算。物理学。Commun公司。180, 2143-2165 (2009). arXiv:0902.4091·Zbl 1197.81037号 [134] A.Behring，J.Blümlein，A.De Freitas，A.Goedicke，S.Klein，A.von Manteufel，C.Schneider，K.Schönwald，壳上大质量算子矩阵元的极化三环反常维数。编号。物理学。B 948（114753），1-41（2019）。arXiv:1908.03779·Zbl 1508.81958年 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。