×
陈少石；马克·范·霍伊；曼纽尔·考尔斯；克里斯托夫·库彻恩

基于约简的富克斯D有限函数创造性伸缩。 （英语） Zbl 1379.68363号

J.塞姆。计算。 85, 108-127 (2018).
小结：在过去几年中，我们继续发表了一系列关于使用约简进行创造性伸缩的文章，将Trager的代数函数Hermite约简应用于奇点具有实指数的Fuchsian D有限函数。我们为这类函数开发了一种基于约简的创造性伸缩算法，从而推广了我们最近提出的代数函数的基于约简算法[S.Chen先生等，摘自：第41届符号和代数计算国际研讨会论文集，ISSAC’16。纽约州纽约市：计算机协会（ACM）。175–182 (2016;Zbl 1360.68928号)].

引用于10文件

MSC公司：

68瓦30 符号计算和代数计算
12H20型 抽象微分方程
33层10 特殊函数的符号计算（Gosper和Zeilberger算法等）

关键词：

D-有限函数；积分基础；Trager减少；望远镜

引文：

Zbl 1360.68928号

软件：

超几何土壤；SumTools公司
PDF格式BibTeX公司 XML格式引用
\textit{S.Chen}等人，J.Symb。计算。85、108-127（2018年；Zbl 1379.68363）
全文： 内政部 arXiv公司

参考文献：

[1] Abramov，S.A.，一阶线性递归关系解的有理分量，。维奇岛。Mat.Mat.Fiz.，材料Fiz。，15, 4, 1035-1039 (1975), 1090 ·Zbl 0326.65069号
[2] 阿布拉莫夫，S.A。；Petkovšek，M.，关于多元超几何项的结构，高级应用。数学。，2386-411年3月29日（2002年）·Zbl 1057.33017号
[3] 阿布拉莫夫，S.A。；Petkovšek，M.，有理范式与超几何项的最小分解，J.Symb。计算。，33, 5, 521-543 (2002) ·Zbl 1005.33010号
[4] Bostan，A。；陈，S。；Chyzak，F.等人。；Li，Z.，二元有理函数创造性伸缩的复杂性，（ISSAC’10（2010）论文集），203-210·Zbl 1321.68524号
[5] Bostan，A。；陈，S。；Chyzak，F.等人。；李，Z。；Xin，G.，超指数函数的Hermite约化和创造性伸缩，（ISSAC’13（2013）论文集），77-84·Zbl 1360.68918号
[6] Bostan，A。；Lairez，P。；Salvy，B.，《使用Griffiths-Dwork方法对有理函数进行创造性伸缩》（ISSAC’13（2013）会议录），93-100·Zbl 1360.68921号
[7] Bostan，A。；Lairez，P。；Salvy，B.，《多重二项式和》，J.Symb。计算。，80, 351-386 (2017) ·Zbl 1351.05013号
[8] Bronstein，M.，The Lazy Hermite Reduction（1998），INRIA，Tech.Rep.3562
[9] Bronstein，M.，《符号集成教程》（ISSAC’98（1998））
[10] Bronstein，M.，《符号集成I：数学中的超越函数、算法和计算》，第1卷（2005），Springer-Verlag:Springer-Verlag Berlin·Zbl 1059.12002号
[11] 陈，S。；黄，H。；考尔斯，M。；Li，Z.，超几何项的修正Abramov-Petkovšek约化和创造性望远镜，（ISSAC’15（2015）会议录），117-124·Zbl 1346.68277号
[12] 陈，S。；考尔斯，M。；Koutschan，C.，广义Apagodu-Zeilberger算法（ISSAC’14（2014）会议录），107-114·Zbl 1325.68270号
[13] 陈，S。；考尔斯，M。；Koutschan，C.，代数函数的基于约简的创造性伸缩，（ISSAC’16（2016）会议记录），175-182·Zbl 1360.68928号
[14] Chevalley，C.，《一元代数函数理论导论》，《数学调查》，第六卷（1951年），美国数学学会：美国数学学会N.Y·Zbl 0045.32301号
[15] Chyzak，F.，Zeilberger快速算法对一般完整函数的扩展，离散数学。，217, 115-134 (2000) ·Zbl 0968.33011号
[16] Chyzak，F.等人。；Salvy，B.，《Ore代数中的非交换消去证明多元恒等式》，J.Symb。计算。，26, 187-227 (1998) ·Zbl 0944.05006号
[18] Geddes，K.O。；捷克共和国。；Labahn，G.，《计算机代数算法》（1992），Kluwer学术出版社：Kluwer-学术出版社，马萨诸塞州波士顿·兹比尔0805.68072
[19] Hermite，C.，《定量分数研究》，《科学年鉴》。Éc.公司。标准。上级。(2), 1, 215-218 (1872) ·格式04.0125.05
[20] Huang，H.，超几何创造性伸缩的新界限，（ISSAC 2016年论文集。ISSAC会议记录2016，ISSAC’16（2016）），279-286·Zbl 1429.68336号
[21] Imamoglu，E。；van Hoeij，M.，利用形式解和积分基的商计算二阶线性微分方程的超几何解，J.Symb。计算。，83, 254-271 (2017) ·Zbl 1375.65097号
[22] Ince，E.L.，《常微分方程》（1926），多佛·兹比尔0063.02971
[23] 考尔斯（Kauers，M.），《计算机代数》（博纳，M.，《枚举组合数学手册》（2015），泰勒和弗朗西斯），975-1046·Zbl 1350.68296号
[24] 考尔斯，M。；Koutschan，C.，积分D-有限函数，（ISSAC’15（2015）论文集），251-258·Zbl 1345.68288号
[25] 考尔斯，M。；Paule，P.，《混凝土四面体》，《符号计算中的文本与专题》（2011），施普林格：施普林格-维恩出版社·Zbl 1225.00001号
[26] Koepf，W.，《超几何求和》，《高等数学讲座》（1998年），Friedr。Vieweg&Sohn:弗里德。Vieweg&Sohn Braunschweig，求和与特殊函数恒等式的算法方法·Zbl 0909.33001号
[27] Koutschan，C.，《完整系统方法的高级应用》（2009），RISC，约翰内斯·开普勒大学：RISC，奥地利约翰内斯·凯普勒大学林茨分校，博士论文·Zbl 1344.68301号
[28] Lairez，P.，有理积分的计算周期，数学。计算。，85, 1719-1752 (2016) ·Zbl 1337.68301号
[29] Manin，Y.I.，微分场上的代数曲线，Izv。阿卡德。Nauk SSSR，序列号。材料，22,6737-756（1958）·Zbl 0151.27503号
[30] Ostrogradskiĭ，M.V.，《合理分配分数的分配》，公牛。Cl.物理-数学。阿卡德。Imp.科学。圣佩特斯堡，4145-167（1845），286-300
[31] 佩特科夫舍克，M。；Wilf，H.S。；Zeilberger，D.，（A=B（1996）），A.K.Peters有限公司：A.K.彼得斯有限公司，马萨诸塞州韦尔斯利·Zbl 0848.05002号
[32] Risch，R.H.，有限项积分问题，Trans。美国数学。《社会学杂志》，139167-189（1969）·Zbl 0184.06702号
[33] Risch，R.H.，有限项积分问题的解，Bull。美国数学。Soc.，76，605-608（1970）·Zbl 0196.06801号
[34] Rybowicz，M.，计算代数函数场积分基的算法，（ISSAC（1991）会议记录），157-166·Zbl 0925.11051号
[35] Schlesinger，L.，《微分线性理论手册》，第1卷（1895年），Teubner·2011年3月26日
[36] Trager，B.M.，《论代数函数的积分》（1984），麻省理工学院，博士论文
[37] van Hoeij，M.，计算代数函数域中积分基的算法，J.Symb。计算。，18, 4, 353-363 (1994) ·Zbl 0834.68059号
[38] Zeilberger，D.，证明终止超几何恒等式的快速算法，离散数学。，80, 2, 207-211 (1990) ·Zbl 0701.05001号
[39] Zeilberger，D.，特殊函数恒等式的完整系统方法，计算机J。申请。数学。，32, 3, 321-368 (1990) ·Zbl 0738.33001号
[40] Zeilberger，D.，《创造性伸缩方法》，J.Symb。计算。，11, 3, 195-204 (1991) ·兹比尔0738.33002
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。