Reduction-based creative telescoping for fuchsian D-finite functions

被引：14

作者：

Chen, Shaoshi ^{[1
,2
]}

van Hoeij, Mark ^{[3
]}

Kauers, Manuel ^{[4
]}

Koutschan, Christoph ^{[5
]}

机构：

[1] Chinese Acad Sci, KLMM, AMSS, Beijing 100190, Peoples R China

[2] Univ Chinese Acad Sci, Sch Math Sci, Beijing 100049, Peoples R China

[3] Florida State Univ, Dept Math, Tallahassee, FL 32306 USA

[4] Johannes Kepler Univ Linz, Inst Algebra, Altenberger Str 69, A-4040 Linz, Austria

[5] Austrian Acad Sci, RICAM, Altenberger Str 69, A-4040 Linz, Austria

来源：

JOURNAL OF SYMBOLIC COMPUTATION | 2018年 / 85卷

基金：

奥地利科学基金会; 美国国家科学基金会;

关键词：

D-finite function; Integral basis; Trager's reduction; Telescoper; FAST ALGORITHM; INTEGRATION;

D O I：

10.1016/j.jsc.2017.07.005

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Continuing a series of articles in the past few years on creative telescoping using reductions, we adapt Trager's Hermite reduction for algebraic functions to fuchsian D-finite functions whose singularities have real exponents. We develop a reduction-based creative telescoping algorithm for this class of functions, thereby generalizing our recent reduction-based algorithm for algebraic functions, presented at ISSAC 2016. (C) 2017 Elsevier Ltd. All rights reserved.

引用

页码：108 / 127

页数：20

共 40 条

[1] Abramov S. A., 1975, Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki, V15, P1035
[2] On the structure of multivariate hypergeometric terms
Abramov, SA
Petkovsek, M
[J]. ADVANCES IN APPLIED MATHEMATICS, 2002, 29 (03) : 386 - 411
[3] Rational normal forms and minimal decompositions of hypergeometric terms
Abramov, SA
Petkovsek, M
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 2002, 33 (05) : 521 - 543
[4] [Anonymous], ISSAC 98
[5] [Anonymous], 1895, HDB THEORIE LINEAREN
[6] [Anonymous], 1951, MATH SURVEYS
[7] Bostan A., 2013, P ISSAC 13, P93, DOI [10.1145/2465506.2465935, DOI 10.1145/2465506.2465935]
[8] Multiple binomial sums
Bostan, Alin
Lairez, Pierre
Salvy, Bruno
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 2017, 80 : 351 - 386
[9] Bostan Alin, 2013, P 2013 INT S SYMB AL, P77, DOI DOI 10.1145/2465506.2465946
[10] Bostan Alin, 2010, P 2010 INT S SYMB AL, P203

← 1 2 3 4 →