×
卡斯滕·施耐德

参数化伸缩证明了和的代数独立性。 （英语） Zbl 1232.33034号

安·库姆。 14，第4期，533-552（2010）。
小结：通常创造性的伸缩用于求和的递归。在本文中，我们证明了创造性伸缩解的不存在，更普遍地说，参数化伸缩解的存在，证明了某些类型和的代数独立性。将这一事实与总和理论相结合，表明了对整类总和的超越。此外，这个结果为这个问题提供了新的线索，例如，为什么Zeilberger的算法无法找到最小阶的递归。

引用于35文件

MSC公司：

33层10 特殊函数的符号计算（Gosper和Zeilberger算法等）
11J81型 超越（一般理论）

关键词：

符号求和;和的代数独立性;创造性伸缩

软件：

SIGMA公司;qZeil公司
PDF格式BibTeX公司 XML格式引用
\textit{C.Schneider}，安·库姆。14，第4号，533--552（2010；Zbl 1232.33034）
全文： 内政部 arXiv公司

参考文献：

[1] 阿布拉莫夫S.A.：有理函数的总和。Zh公司。维奇尔。Mat.Mat.Fiz公司。1071年11月–1075年（1971年）·Zbl 0243.65076号
[2] 阿布拉莫夫S.A.：Zeilberger的算法何时成功？。高级申请。数学。30(3), 424–441 (2003) ·Zbl 1030.33011号 ·doi:10.1016/S0196-8858（02）00504-3
[3] Abramov S.A.，Petkovšek M.：超几何项的有理范式和最小分解。J.符号计算。33(5), 521–543 (2002) ·Zbl 1005.33010号 ·doi:10.1006/jsco.2002.0522
[4] Bauer A.，Petkovšek M.：多元和混合超几何Gosper型算法。J.符号计算。28(4-5), 711–736 (1999) ·Zbl 0973.33010号 ·doi:10.1006/jsco.1999.0321
[5] Bronstein M.：关于线性常差分方程在其系数域中的解。J.符号计算。29(6), 841–877 (2000) ·Zbl 0961.12004号 ·doi:10.1006/jsco.2000.0368
[6] Gosper R.W.：不定超几何求和的决策程序。程序。美国国家科学院。科学。美国75（1），40–42（1978）·Zbl 0384.40001号 ·doi:10.1073/pnas.75.1.40
[7] Karr M.：有限项求和。J.协会计算。机器。28(2), 305–350 (1981) ·Zbl 0494.68044号 ·doi:10.1145/322248.322255
[8] Paule P.，Nemes I.：符号求和的规范形式指南。收录于：Miola，A.，Temperini，M.（编辑）《符号计算系统设计进展》，第84-110页。施普林格，维也纳（1997）·兹比尔0884.68064
[9] Paule P.：最大阶乘分解和符号求和。J.符号计算。20(3), 235–268 (1995) ·Zbl 0854.68047号 ·doi:10.1006/jsco.1995.1049
[10] Paule，P.：相邻关系和创造性伸缩。预印本（2004）
[11] Paule，P.，Riese，A.：Zeilberger算法的数学模拟，基于超几何望远镜的代数动机方法。收录：Ismail，M.，Rahman，M.（编辑）《特殊函数、序列和相关主题》，Fields Inst.Commun。，14，第179-210页。AMS，普罗维登斯，RI（1997）·兹比尔0869.33010
[12] Paule P.，Schorn M.：证明二项式系数恒等式的Zeilberger算法的数学版本。J.符号计算。20(5-6), 673–698 (1995) ·Zbl 0851.68052号 ·doi:10.1006/jsco.1995.1071
[13] Paule P.，Schneider C.：一类新的调和数恒等式的计算机证明。高级申请。数学。31(2), 359–378 (2003) ·Zbl 1039.11007号 ·doi:10.1016/S0196-8858（03）00016-2
[14] Petkovšek，M.，Wilf，H.S.，Zeilberger，D.：A=B.A.K.Peters，Ltd.，马萨诸塞州韦尔斯利（1996）
[15] Schneider，C.：差异域中的符号求和。林茨J.开普勒大学博士论文（2001年）
[16] Schneider C.：求解{\（\Pi\）}{\（\ Sigma\）}扩展中的参数化线性差分方程的分母界集合。蒂米什瓦拉大学。材料-通知。42(2), 163–179 (2004) ·Zbl 1112.68139号
[17] 施耐德C.：总和软件包Sigma：基本原理和菱形瓷砖应用。离散数学。西奥。计算。科学。6(2), 365–386 (2004) ·Zbl 1066.68164号
[18] Schneider C.：求{\（\Pi\）}{\（\ Sigma\）}-域中参数化线性差分方程多项式解的次数界限。申请。代数工程通信计算。16(1), 1–32 (2005) ·Zbl 1101.39001号 ·doi:10.1007/s00200-004-0167-3
[19] Schneider C.：{\（\Pi\）}{\（\ Sigma\）}-fields中的产品表示。Ann.Combin.9（1），75-99（2005）·Zbl 1123.33021号 ·doi:10.1007/s00026-005-0242-2
[20] Schneider C.：用不定嵌套和和乘积求解参数化线性差分方程。J.差异。方程式应用。11(9), 799–821 (2005) ·Zbl 1087.33011号 ·doi:10.1080/10236190500138262
[21] Schneider C.：简化{\（\Pi\）}{\（\ Sigma\）}*-扩展中的和。J.代数应用。6(3), 415–441 (2007) ·Zbl 1120.33023号 ·doi:10.1142/S0219498807002302
[22] Schneider，C.：符号求和有助于组合学。塞姆。洛萨。组合56:#B56b。(2007) ·Zbl 1188.05001号
[23] Schneider C.：符号求和的精细差分场理论。J.符号计算。43(9), 611–644 (2008) ·Zbl 1147.33006号 ·doi:10.1016/j.jsc.2008.01.01
[24] 范德普尔腾：欧拉错过的证据。Apéry对｛\（\ zeta \）｝（3）的非理性性的证明。数学。Intelligencer 1（4），195–203（1979）·Zbl 0409.10028号
[25] Zeilberger D.：创造性伸缩的方法。J.符号计算。11(3), 195–204 (1991) ·兹比尔0738.33002 ·doi:10.1016/S0747-7171（08）80044-2
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。