Indefinite summation with unspecified summands

Discrete Mathematics

Volumn 306, Issue 17, 2006, Pages 2073-2083

  Kauers, Manuel ^a   Schneider, Carsten ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

Combinatorial identities; Difference fields; Symbolic summation

Indexed keywords

ALGORITHMS; NUMERICAL METHODS;

COMBINATORIAL IDENTITIES; DIFFERENCE FIELDS; KARR'S ALGORITHM; SYMBOLIC SUMMATION;

ALGEBRA;

EID: 33746899050     PISSN: 0012365X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.disc.2006.04.005     Document Type: Article

References (28)

1. Abramov S.A. Rational solutions of linear difference and q-difference equations with polynomial coefficients. In: Levelt T. (Ed). Proceedings of ISSAC'95 (1995), ACM Press, New York 285-289
2. Andrews G.E., and Paule P. MacMahon's partition analysis IV: hypergeometric multisums. Sém. Lothar. Combin. B42i (1999) 1-24
3. Bronstein M. On solutions of linear ordinary difference equations in their coefficient field. J. Symbolic Comput. 29 6 (2000) 841-877
4. Campbell G.H. Symbolic integration of expressions involving unspecified functions. Sigsam Bull. 22 1 (1987) 25-27
5. Chyzak F. An extension of Zeilberger's fast algorithm to general holonomic functions. Discrete Math. 217 (2000) 115-134
6. Cohn R.M. Difference Algebra (1965), Interscience Publishers, Wiley, New York
7. Gosper R.W. Decision procedures for indefinite hypergeometric summation. Proc. Nat. Acad. Sci. U.S.A. 75 (1978) 40-42
8. Graham R.L., Knuth D.E., and Patashnik O. Concrete Mathematics. second ed. (1994), Addison-Wesley Publishing Company, Amsterdam
9. Karr M. Summation in finite terms. J. ACM 28 (1981) 305-350
10. M. Kauers, Computer proofs for polynomial identities in arbitrary many variables, in: Proceedings of ISSAC'04, July 2004, pp. 199-204.
11. M. Kauers, Algorithms for nonlinear higher order difference equations, Ph.D. Thesis, RISC-Linz, Johannes Kepler Universität Linz, 2005.
12. M. Kauers, C. Schneider, Application of unspecified sequences in symbolic summation, in: Proceedings of ISSAC'06, 2006.
13. Paule P. Greatest factorial factorization and symbolic summation. J. Symbolic Comput. 20 3 (1995) 235-268
14. Paule P., and Riese A. A mathematica q-analogue of Zeilberger's algorithm based on an algebraically motivated approach to q-hypergeometric telescoping. In: Ismail M., and Rahman M. (Eds). Special Functions, q-Series and Related Topics vol. 14 (1997), Fields Institute Toronto, American Mathematical Society, Providence, RI 179-210
15. Petkovšek M., Wilf H.S., and Zeilberger D. A = B (1996), A.K. Peters, Wellesley, MA
16. Risch R. The problem of integration in finite terms. Trans. Amer. Math. Soc. 139 (1969) 167-189
17. Risch R. The solution to the problem of integration in finite terms. Bull. Amer. Math. Soc. 76 (1970) 605-608
18. C. Scheider, Symbolic summation in difference fields, Ph.D. Thesis, RISC-Linz, Johannes Kepler Universität Linz, 2001.
19. C. Schneider, A collection of denominator bounds to solve parameterized linear difference equations in Π Σ-extensions, in: Proceedings of SYNASC'04, 2004, pp. 269-282.
20. Schneider C. The summation package sigma: underlying principles and a rhombus tiling application. Discrete Math. Theoret. Comput. Sci. 6 2 (2004) 365-386
21. C. Schneider, Symbolic summation with single-nested sum extensions, in: Proceedings of ISSAC '04, July 2004, pp. 282-289.
22. Schneider C. Degree bounds to find polynomial solutions of parameterized linear difference equations in Π Σ-fields. Appl. Algebra Engrg. Commun. Comput. 16 1 (2005) 1-32
23. C. Schneider, Finding telescopers with minimal depth for indefinite nested sum and product expressions, in: Proceedings of ISSAC '05, July 2005, pp. 285-292.
24. Schneider C. A new Sigma approach to multi-summation. Adv. Appl. Math. 34 4 (2005) 740-767
25. Schneider C. Product representations in Π Σ-fields. Ann. Combinatorics 9 1 (2005) 75-99
26. Schneider C. Solving parameterized linear difference equations in terms of indefinite nested sums and products. J. Difference Equations Appl. 11 9 (2005) 799-821
27. van der Poorten A. A proof that Euler missed... Apéry's proof of the irrationality of ζ (3). Math. Intelligencer 1 (1979) 195-203
28. Zhang Z. A kind of binomial identity. Discrete Math. 196 1-3 (1999) 291-298