克里斯托夫·库彻恩 创造性伸缩的快速方法。 (英语) 兹比尔1218.68205 数学。计算。科学。 4,编号2-3,259-266(2010). 摘要:在本文中,我们重新研究了计算微分算子代数中创造性伸缩关系的任务。我们的方法是基于一个明确包含delta部分分母的ansatz。我们就如何合理快速地实现这种方法并提供这种实现提出了一些想法。一系列实例表明,它可以在很大程度上优于现有方法。 引用于36文件 MSC公司: 68瓦30 符号计算和代数计算 33层10 特殊函数的符号计算(Gosper和Zeilberger算法等) 关键词:完整函数;特殊功能;符号集成;符号求和;创造性伸缩;矿石代数;WZ理论 软件:qTSPP公司 PDF格式BibTeX公司 XML格式引用 \textit{C.Koutschan},数学。计算。科学。4、编号2--3259--266(2010;Zbl 1218.68205) 全文: 内政部 arXiv公司 参考文献: [1] Abramov,S.A.,Barkatou,M.:一阶线性差分系统的有理解。摘自:ISSAC’98:1998年符号和代数计算国际研讨会论文集,第124-131页。ACM,纽约(1998)·Zbl 0919.65089号 [2] Andrews G.,Askey R.,Roy R.:特殊函数,数学百科全书及其应用,第71卷。剑桥大学出版社,剑桥(1999)·Zbl 0920.33001号 [3] 安德鲁斯·G·E、保罗·P:关于二项式双和恒等式的计算机生成证明的一些问题。J.塞姆。计算。16, 147–153 (1993) ·Zbl 0836.05003号 ·doi:10.1006/jsco.1993.1038 [4] Barkatou M.:关于线性微分方程组的有理解。J.塞姆。计算。28, 547–567 (1999) ·Zbl 0943.34008号 ·doi:10.1006/jsco.1999.0314 [5] Chyzak F.:Zeilberger快速算法对一般完整函数的扩展。谨慎。数学。217(1–3), 115–134 (2000) ·Zbl 0968.33011号 ·doi:10.1016/S0012-365X(99)00259-9 [6] Chyzak,F.,Kauers,M.,Salvy,B.:特殊函数恒等式的非完整系统方法。摘自:ISSAC’09:2009年符号和代数计算国际研讨会论文集,第111-118页。ACM,纽约(2009年)·Zbl 1237.33001号 [7] Chyzak F.,Salvy B.:ore代数中的非交换消去证明了多元恒等式。J.塞姆。计算。26, 187–227 (1998) ·Zbl 0944.05006号 ·doi:10.1006/jsco.1998.0207 [8] Kauers,M.,Koutschen,C.,Zeilberger,D.:乔治·安德鲁斯和戴夫·罗宾斯q-TSPP猜想的证明(模为有限量的常规计算)。Shalosh B.Ekhad和Doron Zeilberger的个人日记,第1-8页。http://www.math.rutgers.edu/\(\sim\)zeilberg/pj.html(2009) [9] Klein,S.:重味系数函数在O(a S 2)和大虚度的深红外散射中。德国波茨坦大学文凭(2006年) [10] Koutschan,C.:完整系统方法的高级应用。奥地利林茨约翰内斯·开普勒大学RISC博士论文(2009年)·Zbl 1344.68301号 [11] Koutschan,C.:消除人类洞察力:Stembridge TSPP定理的算法证明。收录:Amdeberhan,T.,Medina,L.,Moll,V.(编辑)《实验数学中的宝石》,《当代数学》,第517卷,第219–230页。美国数学学会(2010)·Zbl 1209.05017号 [12] Koutschen,C.,Kauers,M.,Zeilberger,D.:乔治·安德鲁斯和大卫·罗宾斯q-TSPP猜想的证明。技术报告(2010)。arXiv:1002.4384·Zbl 1255.05011号 [13] Takayama,N.:构建模块积分的算法——Gröbner基的无限维模拟。摘自:ISSAC’90:符号和代数计算国际研讨会论文集,第206-211页。ACM,纽约(1990年) [14] Takayama,N.:Gröbner基础、积分和超越函数。摘自:ISSAC’90:符号和代数计算国际研讨会论文集,第152-156页。ACM,纽约(1990年) [15] Wegschaider,K.:二项多和恒等式的计算机生成证明。林茨约翰内斯·开普勒大学RISC硕士论文(1997) [16] Wilf H.S.,Zeilberger D.:超几何(普通和“q”)多和/积分恒等式的算法证明理论。发明。数学。108(1), 575–633 (1992) ·doi:10.1007/BF02100618 [17] Zeilberger D.:用完整系统方法研究特殊函数恒等式。J.计算。申请。数学。32(3), 321–368 (1990) ·兹比尔0738.33001 ·doi:10.1016/0377-0427(90)90042-X 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。