陈少石;曼纽尔·考尔斯 一些与创造性伸缩有关的开放问题。 （英语） Zbl 1420.68242号 J.系统。科学。复杂。 30，第1期，154-172（2017）. 摘要：创造性伸缩是获取定和或积分信息的首选方法。自20世纪90年代初以来，它一直被深入研究，现在可以被认为是计算机代数中的一种经典技术。与此同时，这仍然是一个正在进行的研究课题。本文在此背景下提出了一系列开放问题。作者很想知道在这些问题上取得了什么实质性进展。 引用于11文件 理学硕士： 68瓦30 符号计算和代数计算 33层10 特殊函数的符号计算（Gosper和Zeilberger算法等） 关键词：计算机代数;创造性伸缩;微分代数;线性运算符;Ore代数;符号集成;符号求和 软件：齐尔伯格;齐尔伯格;斯特林;评估MultiSums;DDMF公司;MultiZeilberger公司;DEtools公司;纽泽尔。米 PDF格式BibTeX公司 XML格式引用 \textit{S.Chen}和textit{M.Kauers}，J.Syst。科学。复杂。30，第1号，154--172（2017；Zbl 1420.68242） 全文： 内政部 arXiv公司 参考文献： [1] Nemes I，Petkovšek M，Wilf H，et al.，《如何使用计算机解决月度问题》，《美国数学月刊》，1997，104（6）：505-519·Zbl 0905.68082号 ·doi:10.2307/2975078 [2] Kauers M和Paule P，《混凝土四面体》，施普林格出版社，纽约，2011年·Zbl 1225.00001号 [3] Schneider，C.，差环和应用中的符号求和，9-12（2016）·Zbl 1360.68954号 [4] Benoit A、Chyzak F、Darrasse A等人，《数学函数动态词典》（DDMF），《ICMS学报》，2010年，《计算机科学讲义》，2011年，6327:35-41·Zbl 1295.65022号 ·doi:10.1007/978-3642-15582-67 [5] Koutschen C、Kauers M和Zeilberger D，乔治·安德鲁斯和大卫·罗宾斯q-TSPP猜想的证明。美国国家科学院院刊，2011，108（6）：2196-2199·Zbl 1255.05011号 ·doi:10.1073/pnas.1019186108 [6] 吴伟，高X，三十年后的数学机械化与应用。计算机科学前沿，2007，1（1）：1-8·doi:10.1007/s11704-007-0001-8 [7] Gosper W，不定超几何求和的判定过程。《美利坚合众国国家科学院院刊》，1978年，75:40-42·Zbl 0384.40001号 ·doi:10.1073/pnas.75.1.40 [8] Wilf H和Zeilberger D，有理函数证明了组合恒等式。《美国数学学会杂志》，1990年，3:147-158·Zbl 0695.05004号 ·doi:10.1090/S0894-0347-1990-1007910-7 [9] Wilf H和Zeilberger D，超几何（普通和q）多和/积分恒等式的算法证明理论。《数学发明》，1992年，108:575-633·兹比尔0739.05007 ·doi:10.1007/BF02100618 [10] Zeilberger D，创造性伸缩的方法。符号计算杂志，1991，11:195-204·Zbl 0738.33002号 ·doi:10.1016/S0747-7171（08）80044-2 [11] Petkovšek M、Wilf H和Zeilberger D，A=B，AK Peters，Ltd.，1997年·Zbl 1321.68545号 [12] 范德普滕A，欧拉遗漏的一个证明——阿佩里对（3）的非理性证明，《数学智能》，1979，1（4）：195-203·Zbl 0409.10028号 ·doi:10.1007/BF03028234 [13] Zeilberger D，《特殊函数恒等式的完整系统方法》，《计算与应用数学杂志》，1990年，32:321-368·Zbl 0738.33001号 ·doi:10.1016/0377-0427（90）90042-X [14] Chyzak F，《计算公式中的完整函数》，博士论文，INRIA Rocquencourt，1998年。 [15] Chyzak F，Zeilberger快速算法对一般完整函数的扩展。离散数学，2000，217:115-134·Zbl 0968.33011号 ·doi:10.1016/S0012-365X（99）00259-9 [16] Schneider C，《不同领域的符号求和》，博士论文，RISC-Linz，约翰内斯·开普勒大学林茨分校，2001年。 [17] Schneider C，符号求和的精细差分场理论，符号计算杂志，2008，43:611-644·Zbl 1147.33006号 ·doi:10.1016/j.jsc.2008.01.01 [18] 施耐德，C。；Blümlein，J.（编辑）；Schneider，C.（编辑），《简化不同字段中的多个和》，325-360（2013）·Zbl 1315.68294号 ·doi:10.1007/978-3-7091-1616-6_14 [19] Chyzak，F.，《创造性望远镜的ABC：算法、界限、复杂性》（2014） [20] Fasenmyer M C，纯递推关系注记，《美国数学月刊》，1949年，56:14-17·Zbl 0032.41002号 ·doi:10.307/2305810 [21] Takayama N，一种构造模积分的算法。ISSAC 90年会议记录，1990年，206-211年·Zbl 0863.0509号 [22] Takayama，N.，Gröbner基础，积分和超越函数，152-156（1990） [23] Wegschaider K，二项式多um恒等式的计算机生成证明，硕士论文，RISC-Linz，1997。 [24] Chyzak F和Salvy B，Ore代数中的非交换消去证明多元恒等式，符号计算杂志，1998，26:187-227·Zbl 0944.05006号 ·doi:10.1006/jsco.1998.0207 [25] Zeilberger D，证明终止超几何恒等式的快速算法，离散数学，1990，80:207-211·Zbl 0701.05001号 ·doi:10.1016/0012-365X（90）90120-7 [26] Almkvist G和Zeilberger D，积分符号下的微分方法。符号计算杂志，1990，11（6）：571-591·Zbl 0717.33004号 ·doi:10.1016/S0747-7171（08）80159-9 [27] 考尔斯M，斯特林数恒等式的求和算法。符号计算杂志，2007，42（11）：948-970·Zbl 1142.11008号 ·doi:10.1016/j.jsc.2007.08.002 [28] Mohammed M和Zeilberger D，Zeilberger和q-Zeilberger算法输出的递归次数的Sharp上界。符号计算杂志，2005，39（2）：201-207·Zbl 1121.33023号 ·doi:10.1016/j.jsc.2004.10.002 [29] Apagodu M和Zeilberger D，多变量Zeilberger-Zeilberger和Almkvist-Zeilbeger算法以及Wilf-Zeilbergger理论的锐化。应用数学进展，2006，37（2）：139-152·Zbl 1108.05010号 ·doi:10.1016/j.aam.2005.09.003 [30] Koutschen C，创造性望远镜的快速方法，计算机科学中的数学，2010，4（2-3）：259-266·Zbl 1218.68205号 ·doi:10.1007/s11786-010-0055-0 [31] Chen S和Kauers M，创造性伸缩学位交易订单。符号计算杂志，2012，47（8）：968-995·Zbl 1241.33021号 ·doi:10.1016/j.jsc.2012.02.002 [32] 陈，S。；Kauers，M.，超几何创造性望远镜的有序度曲线，122-129（2012）·Zbl 1323.68591号 [33] 陈，S。；考尔斯，M。；Koutschan，C.，广义apagodu-zeilberger算法，107-114（2014）·Zbl 1325.68270号 [34] Bostan，A。；陈，S。；Chyzak，F。；等。，二元有理函数创造性伸缩的复杂性，203-210（2010）·Zbl 1321.68524号 [35] Bostan，A。；陈，S。；Chyzak，F。；等。，超指数函数的Hermite约简和创造性伸缩，77-84（2013）·Zbl 1360.68918号 [36] 陈，S。；黄，H。；考尔斯，M。；等。，超几何项的修正Abramov-Petkovsek约化和创造性伸缩，117-124（2015）·兹比尔1346.68277 [37] Huang，H.，创造性望远镜的新边界，279-286（2016）·Zbl 1429.68336号 [38] 陈，S。；考尔斯，M。；Koutchan，C.，代数函数的基于约简的创造性伸缩，175-182（2016）·Zbl 1360.68928号 [39] Bostan，A。；杜蒙特，L。；Salvy，B.，《混合创造性望远镜的高效算法》，127-134（2016）·Zbl 1429.68335号 [40] 杜H，黄H，李Z，基于约化的q超几何术语创造性望远镜，正在编写中·Zbl 0215.08103号 [41] Trager B，《关于代数函数的积分》，麻省理工学院博士论文，1984年。 [42] Bronstein，M。；安提波利斯，I.S.，《符号集成教程》（1998年） [43] Chevalley，C.，《一元代数函数理论导论》（1951年）·Zbl 0045.32301号 [44] Kauers M和Yen L，关于适当超几何项的望远镜中整数的长度。符号计算杂志，2015，66（1-2）：21-33·兹比尔1357.68304 ·doi:10.1016/j.jsc.2014.02.003 [45] Jaroschek，M。；考尔斯，M。；陈，S。；等。；Manuel，K.（编辑），Desingularization解释了矿石运营商的有序度曲线，157-164（2013）·Zbl 1360.68927号 [46] Abramov，S。；Hoeij，M.，多项式系数线性差分算子的去角化，269-275（1999） [47] Abramov S，Barkatou M，van Hoeij M，多项式系数线性差分方程的表观奇异性，工程应用代数，通信与计算，2006，17（2）：117-133·Zbl 1106.39002号 [48] Chen S、Kauers M和Singer M，《矿石运营商的去极化》。符号计算杂志，2016，74（5/6）：617-626·Zbl 1348.68300号 ·doi:10.1016/j.jsc.2015.11.1001 [49] Risch R，有限项积分问题。美国数学学会学报，1969，139:167-189·Zbl 0184.06702号 ·doi:10.1090/S0002-9947-1969-0237477-8 [50] Risch R，有限项积分问题的解。美国数学学会公报，1970，79:605-608·Zbl 0196.06801号 ·doi:10.1090/S0002-9904-1970-12454-5 [51] Bronstein M，符号积分I，数学中的算法和计算，第2版，Springer，2005年1月·Zbl 1059.12002号 [52] Karr M，有限项求和。美国医学会杂志，1981，28:305-350·Zbl 0494.68044号 ·doi:10.1145/322248.322255 [53] Karr M，有限项求和理论。符号计算杂志，1985，1（3）：303-315·Zbl 0585.68052号 ·doi:10.1016/S0747-7171（85）80038-9 [54] Abramov，S.，Zeilberger算法对超几何项的适用性，1-7（2002）·Zbl 1072.68642号 [55] Abramov S和Le H，Zeilberger算法适用于有理函数的标准，《离散数学》，2002，259（1-3）：1-17·Zbl 1023.33017号 ·doi:10.1016/S0012-365X（02）00442-9 [56] Abramov S，Zeilberger的算法何时成功？应用数学进展，2003，30（3）：424-441·Zbl 1030.33011号 ·doi:10.1016/S0196-8858（02）00504-3 [57] Abramov S和Le H，关于创造性伸缩方法产生的重现顺序。离散数学，2005298（1-3）：2-17·Zbl 1077.33037号 ·doi:10.1016/j.disc.2004.05.018 [58] Chen WY C，Hou Q和Mu Y，Zeilberger算法的Q-类似物的适用性。符号计算杂志，2005，39（2）：155-170·Zbl 1126.33008号 ·doi:10.1016/j.jsc.2004.09.002 [59] Chen S，Chyzak F，Feng R，et al.关于混合超几何项望远镜的存在性，符号计算杂志，2015，68:1-26·Zbl 1303.33024号 [60] Raab C，微分场中的定积分，博士论文，约翰内斯·开普勒大学，2012年。 [61] Schneider，C.，《寻找无限嵌套和和乘积表达式的最小深度望远镜》，285-292（2005）·Zbl 1360.68953号 [62] 动词P，纯递归关系的自动构造。ACM Sigsam Bulletin，1974年，8（3）：96-98·doi:10.1145/1086837.1086854 [63] Chen C和Singer M，二元有理函数的留数和伸缩器。应用数学进展，2012，49（2）：111-133·兹比尔1248.33042 ·doi:10.1016/j.aam.2012.04.003 [64] Chen C和Singer M，关于二元有理函数的可和性。代数杂志，2014，409:320-343·Zbl 1301.33003号 ·doi:10.1016/j.jalgebra.2014.03.023 [65] Hou Q H和Wang R H，决定二元有理函数可和性的算法。应用数学进展，2014，64（C）：31-49·Zbl 1326.33033号 ·doi:10.1016/j.aam.2014.11.002 [66] 陈，S。；侯，Q。；拉巴恩，G。；等。，望远镜存在的问题：超越双变量情况，167-174（2016）·Zbl 1364.33023号 [67] 皮卡德，E。；Simart，G.，《函数理论——独立变量代数》（1906） [68] Picard E，Sur les periods des integrations double et surune class d’equations differentielles linearies，《积分的周期双精度与微分方程的线性度》。《科学年鉴》。N.S.，1933年，50:393-395·Zbl 0008.15801号 [69] 德沃克B，关于超曲面的zeta函数。《数学出版》，1962年，12:5-68·Zbl 0173.48601号 ·doi:10.1007/BF02684275 [70] 德沃克B，关于超曲面的zeta函数II。数学年鉴，1964，80（2）：227-299·Zbl 0173.48602号 ·doi:10.307/1970392 [71] Griffiths P，关于某些有理积分的周期，I.数学年鉴，1969，90（3）：460-495·Zbl 0215.08103号 ·doi:10.2307/1970746 [72] Griffiths P，关于某些有理积分的周期II。数学年鉴，1969，90（3）：496-541·Zbl 0215.08103号 ·数字对象标识代码：10.2307/1970747 [73] Bostan，A。；Lairez，P。；Salvy，B.，使用Griffiths-Dwork方法对有理函数进行创造性伸缩，93-100（2013）·Zbl 1360.68921号 [74] Chyzak F，Mahboubi A，Sibut-Pinote T，et al.，基于计算机代数的形式化证明？（3） Klein G和Gamboa R编辑，交互定理证明，计算机科学讲义，奥地利维也纳，施普林格，2014，8558:160-176·Zbl 1416.68155号 [75] Abramov，S。；Petkovšek，M.，Gosper算法，精确求和，离散Newton-Leibniz公式，5-12（2005）·Zbl 1360.33018号 [76] Ryabenko A，特殊类型超几何项的定和，《程序设计与计算机软件》，2011，37（4）：187-191·Zbl 1247.33038号 ·doi:10.1134/S0361768811020083 [77] Harrison J，超几何和的形式证明。《自动推理杂志》，2015年，55:223-243·兹比尔1356.68190 ·doi:10.1007/s10817-015-9338-0 [78] Rosenkranz，M。；Regensburger，G.，积分微分多项式和算子，261-268（2008）·兹比尔1489.68415 [79] Rosenkranz M和Regensburger G，微分代数中线性常微分方程边界问题的求解和分解。符号计算杂志，2008，43（8）：515-544·Zbl 1151.34008号 ·doi:10.1016/j.jsc.2007.11.007 [80] Rosenkranz，M。；雷根斯堡，G。；Middeke，J.，积分微分算子的斜多项式方法，287-294（2009）·Zbl 1237.16023号 [81] Guo L，Rosenkranz M和Regensburger G，关于积分微分代数。《纯粹与应用代数杂志》，2014，218:456-473·Zbl 1310.16019号 ·doi:10.1016/j.jpaa.2013.06.015 [82] Regensburger，G.，积分微分算子的符号计算，17-18（2016）·doi:10.145/2930889.2930942 [83] Bostan，A。；Lairez，P。；Salvy，B.，《多重二项式和》（2016年） [84] Christol G，微分方程的全局有界解，解析数论。数学课堂讲稿，1990年，1434:45-64·Zbl 2006年5月7日 ·doi:10.1007/BFb0097124 [85] Majewicz J，WZ型认证和姐妹Celine的Abel型身份技术，J.Difference Eqs.和Appl。，1996, 2: 55-65. ·Zbl 0863.0509号 ·doi:10.1080/10236199608808042 [86] Chen W Y C和Sun L H，伯努利多项式和欧拉多项式恒等式的扩展Zeilberger算法。《数论杂志》，2009129（9）：2111-2132·Zbl 1183.11011号 ·doi:10.1016/j.jnt.2009.01.026 [87] Chyzak，F。；考尔斯，M。；萨尔维，B。；May，J.（编辑），特殊功能恒等式的非完整系统方法，111-118（2009）·Zbl 1237.33001号 [88] O.Bernardi。；Bousquet-Melou，M。；Raschel，K.，通过Tutte的不变方法计算象限行走（2016）·Zbl 1498.05012号 [89] 曼斯菲尔德E，微分Gröbner基础，博士论文，悉尼大学，1993年。 [90] Gerdt V，Gröbner基底和代数和微分方程的对合方法，数学。计算。建模，1997，25（8/9）：75-90·Zbl 2014年4月9日 ·doi:10.1016/S0895-7177（97）00060-5 [91] Hubert E，微分代数中的无因式分解算法，符号计算杂志，2000，29（4-5）：641-662·Zbl 0984.12004号 ·doi:10.1006/jsco.1999.0344 [92] Chen Y和Gao X，代数偏微分方程组的对合特征集。中国科学（A），2003，46（4）：469-487·Zbl 1215.35018号 ·doi:10.1007/BF02884019 [93] 高X，李伟，袁C.微分代数几何中的交集理论：一般交集和微分Chow形式，Trans。阿默尔。数学。Soc.，2013，365（9）：4575-4632·Zbl 1328.14010号 ·doi:10.1090/S0002-9947-2013-05633-4 [94] Petkovšek M，多项式系数线性递归的超几何解。符号计算杂志，1992，14（2-3）：243-264·Zbl 0761.11008号 ·doi:10.1016/0747-7171（92）90038-6 [95] Abramov，S。；Petkovšek，M.，线性微分方程和差分方程的D'alembertian解，169-174（2004）·Zbl 0919.34013号 [96] 普特，M。；Singer，M.，Galois差分方程理论（1997）·Zbl 0930.12006号 [97] Hendriks P和Singer M，有限项差分方程的求解。符号计算杂志，1999，27（3）：239-259·Zbl 0930.39004号 ·doi:10.1006/jsco.1998.0251 [98] Hoeij，M。；袁，Q.，求有理函数系数线性微分方程的所有贝塞尔型解，37-44（2010）·Zbl 1321.68545号 [99] Cha，Y。；Hoeij，M。；Levy，G.，使用局部不变量求解递归关系，303-309（2010）·Zbl 1321.11124号 [100] Cha Y，线性差分方程的闭式解，佛罗里达州立大学博士论文，2010年。 [101] 昆瓦尔五世。；Hoeij，M.，具有三阶超几何解的二阶微分方程，235-242（2013）·Zbl 1360.34007号 [102] Imamoglu，E。；Hoeij，M.，利用形式解的商计算二阶线性微分方程的超几何解，235-242（2015）·Zbl 1346.68288号 [103] Koutschan C，《全息函数（用户指南）》，技术报告10-01，RISC报告系列，奥地利林茨大学，2010年。 [104] Kauers M和Zeilberger D，列举高维车行走的计算挑战。应用数学进展，2011，47（4）：813-819·Zbl 1234.05026号 ·doi:10.1016/j.aam.2011.03.004 [105] Lipshitz L，D-有限幂级数的对角线是D-有限的。代数杂志，1988，113:373-378·Zbl 0657.13024号 ·doi:10.1016/0021-8693（88）90166-4 [106] Bostan A，Chyzak F，van Hoeij M，et al.，对角三维车路径生成系列的显式公式，Seminaire Lotharingien Combinatoire，2011，66（B66a）：1-27·Zbl 1295.05028号 [107] Beck M和Pixton D，Birkhoff多面体的Ehrhart多项式。离散计算几何，2003，30:623-637·Zbl 1065.52007年 ·doi:10.1007/s00454-003-2850-8 [108] Beck M和Robins S，《离散计算连续：多面体中的整数点枚举》，Springer-Verlag，纽约，2007年·Zbl 1114.52013年 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。