ABSTRACT
Let K be a field of characteristic zero, x - an independent variable, E - shift operator with respect to x, i.e. Ef(x) = f(x + 1) for an arbitrary expression f(x). The problem of indefinite summation in general is: given a closed form expression F(x) to find a closed form expression G(x), which satisfies the first order linear difference equation
[EQUATION]
- S. A. Abramov. The summation of rational functions. Ž. Vyčisl. Mat. i Mat. Fiz., 11:1071--1075, 1971.Google Scholar
- S. A. Abramov. The rational component of the solution of a first order linear recurrence relation with rational right hand side. Ž. Vyčisl. Mat. i Mat. Fiz., 15(4):1035--1039, 1090, 1975.Google Scholar
- S. A. Abramov. Indefinite sums of rational functions. In Proceedings of the 1995 international symposium on Symbolic and algebraic computation, ISSAC '95, pages 303--308, New York, NY, USA, 1995. ACM. Google ScholarDigital Library
- J. Gerhard, M. Giesbrecht, A. Storjohann, and E. V. Zima. Shiftless decomposition and polynomial-time rational summation. In Proc. of ISSAC'03, pages 119--126, New York, 2003. ACM. Google ScholarDigital Library
- R. Pirastu. A note on the minimality problem in indefinite summation of rational functions. In Séminaire Lotharingien de Combinatoire (Saint-Nabor, 1993), volume 1994/21 of Prépubl. Inst. Rech. Math. Av., pages 95--101. Univ. Louis Pasteur, Strasbourg, 1994.Google Scholar
- S. P. Polyakov. Indefinite summation of rational functions with additional minimization of the summable part. Programmirovanie, (2):48--53, 2008.Google Scholar
Index Terms
- Synthetic division in the context of indefinite summation
Recommendations
REDUCE package for the indefinite and definite summation
This article describes the REDUCE package ZEILBERG implemented by Gregor Stölting and the author which can be obtained from RedLib, accessible via anonymous ftp on ftp.zib-berlin.de in the directory pub/redlib/rules.The REDUCE package ZEILBERG is a ...
Accelerating indefinite hypergeometric summation algorithms
Let K be a field of characteristic zero, x an independent variable, E the shift operator with respect to x, i.e., Ef(x) = f(x + 1) for an arbitrary f(x). Recall that a nonzero expression F(x) is called a hypergeometric term over K if there exists a ...
Summation formulae for finite cotangent sums
Recently, a half-dozen remarkably general families of the finite trigonometric sums were summed in closed-form by choosing a particularly convenient integration contour and making use of the calculus of residues. In this sequel, we show that this ...
Comments