Solving parameterized linear difference equations in terms of indefinite nested sums and products

Journal of Difference Equations and Applications

Volumn 11, Issue 9, 2005, Pages 799-821

  Schneider, Carsten ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

Difference fields; II extensions; II fields; Symbolic summation

Indexed keywords

EID: 24344486864     PISSN: 10236198     EISSN: None     Source Type: Journal    
DOI: 10.1080/10236190500138262     Document Type: Article

References (42)

1. Petkovšek, M., Wilf, H.S. and Zeilberger, D., 1996, A=B. (A.K. Peters: Wellesley, MA).
2. Abramov, S.A., 1989, Rational solutions of linear differential and difference equations with polynomial coefficients, USSR Computational Mathematics and Mathematical Physics, 29, 7-12.
3. Abramov, S.A., 1989, Problems in computer algebra that are connected with a search for polynomial solutions of linear differential and difference equations, Moscow University Computational Mathematics and Cybernatics, 3, 63-68.
4. Petkovšek, M., 1992, Hypergeometric solutions of linear recurrences with polynomial coefficients, Journal of Symbolic Computation, 14, 243-264.
5. Hoeij, M. van., 1998, Rational solutions of linear difference equations. In: O. Gloor (Ed.) Proc. ISSAC'98 (New York: ACM Press), pp. 120-123.
6. Abramov, S.A., Bronstein, M. and Petkovšek, M., 1995, On polynomial solutions of linear operator equations. In: T. Levelt (Ed.) Proc. ISSAC'95 (New York: ACM Press), pp. 290-296.
7. Abramov, S.A., 1995, Rational solutions of linear difference and q-difference equations with polynomial coefficients. In: T. Levelt (Ed.) Proc. ISSAC'95 (New York: ACM Press), pp. 285-289.
8. Abramov, S.A. and Petkovšek, M., 1994, D'Alembertian solutions of linear differential and difference equations. In: J. von zur Gathen (Ed.) Proc. ISSAC'94 (Baltimore: ACM Press), pp. 169-174.
9. Hendriks, P.A. and Singer, M.F., 1999, Solving difference equations in finite terms, Journal of Symbolic Computation, 27, 239-259.
10. Schneider, C., Symbolic summation in difference fields, Technical Report 01-17, PhD Thesis, RISC-Linz, J. Kepler University.
11. Chyzak, F., 2000, An extension of Zeilberger's fast algorithm to general holonomic functions, Discrete Mathematics, 217, 115-134.
12. Gosper, R.W., 1978, Decision procedures for indefinite hypergeometric summation, Proceedings of the National Academy of Sciences USA, 75, 40-42.
13. Zeilberger, D., 1990, A fast algorithm for proving terminating hypergeometric identities, Discrete Mathematics, 80, 207-211.
14. Petkovšek, M., 1994, A generalization of Gosper's algorithm, Discrete Mathematics, 134, 125-131.
15. Paule, P. and Schorn, M., 1995, A Mathematica version of Zeilberger's algorithm for proving binomial coefficient identities, Journal of Symbolic Computation, 20, 673-698.
16. Paule, P. and Riese, A., 1997, A Mathematica q-analogue of Zeilberger's algorithm based on an algebraically motivated aproach to q-hypergeometric telescoping. In: M. Ismail and M. Rahman (Eds.) Special Functions, q-Series and Related Topics (Fields Institute Toronto, AMS), Vol. 14, pp. 179-210.
17. Bauer, A. and Petkovšek, M., 1999, Multibasic and mixed hypergeometric Gosper-type algorithms, Journal of Symbolic Computation, 28, 711-736.
18. Karr, M., 1981, Summation in finite terms, Journal of the ACM, 28, 305-350.
19. Karr, M., 1985, Theory of summation in finite terms, Journal of Symbolic Computation, 1, 303-315.
20. Schneider, C., 2005, Product representations in US-fields, Annals of Combinatorics (to appear).
21. Schneider, C., 2000, An implementation of Karr's summation algorithm in Mathematica, Sém. Lothar. Combin., S43b, 1-10.
22. Schneider, C., 2005, Product representations in US-fields, Annals of Combinatorics, 9, 75-99.
23. Bronstein, M., 2000, On solutions of linear ordinary difference equations in their coefficient field, Journal of Symbolic Computation, 29, 841-877.
24. Singer, M.F., 1991, Liouvillian solutions of linear differential equations with Liouvillian coefficients, Journal of Symbolic Computation, 11, 251-274.
25. Schneider, C., 2004, A collection of denominator bounds to solve parameterized linear difference equations in II∑-extensions. In: D. Petcu, et al. (Eds) Proc. SYNASC04, 6th Internat (Timisoara: Mirton Publishing), pp. 269-282.
26. Schneider, C., 2005, Degree bounds to find polynomial solutions of parameterized linear difference equations in II∑-fields, Applicable Algebra in Engineering, Communication and Computing, 6, 1-32.
27. Schneider, C., 2004, Symbolic summation with single-nested sum extensions. In: J. Gutierrez (Ed.) Proc. ISSAC'04, pp. 282-289.
28. Schneider, C., 2005, Finding telescopers with minimal depth for indefinite nested sum and product expressions. Proc. ISSAC'05 (to appear).
29. Kauers, M. and Schneider, C., 2004, Indefinite summation with unspecified sequences, SFB-Report 2004-13 (Linz: J. Kepler University).
30. Wegschaider, K., Computer generated proofs of binomial multi-sum identities Diploma thesis, RISC Linz, Johannes Kepler University.
31. Riese, A., 2003, qMultisum - A package for proving q-hypergeometric multiple summation identities, Journal of Symbolic Computation, 35, 349-377.
32. Schneider, C., 2004, The summation package Sigma: Underlying principles and a rhombus tiling application, Discrete Mathematics and Theoretical Computer Science, 6, 365-386.
33. Schneider, C., 2005, A new Sigma approach to multi-summation, Advances in Applied Mathematics, Special Issue Dedicated to Dr. David P. Robbins, 34, 740-767.
34. Driver, K., Prodinger, H., Schneider, C. and Weideman, A., 2005, Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation, The Ramanujan Journal (to appear).
35. Driver, K., Prodinger, H., Schneider, C. and Weideman, A., 2005, Padé approximations to the logarithm III: Alternative methods and additional results, The Ramanujan Journal (to appear).
36. Andrews, G.E., Paule, P. and Schneider, C., 2005, Plane partitions VI: Stembridge's TSPP Theorem, Advances in Applied Mathematics, Special Issue Dedicated to Dr. David P. Robbins, 34, 709-739.
37. Paule, P. and Schneider, C., 2003, Computer proofs of a new family of harmonic number identities, Advances in Applied Mathematics, 31, 359-378.
38. Put, van der M. and Singer, M.F., 1997, Galois Theory of Difference Equations, V. 1666 in Lecture Notes in Mathematics (Berlin: Springer-Verlag).
39. Schneider, C., 2002, Solving Parameterized Linear Difference Equations in II∑-fields, SFB-Report 02-19 (Linz: J. Kepler University).
40. Cohn, R.M., 1965, Difference Algebra (Interscience Publishers/John Wiley and Sons).
41. Krattenthaler, C. and Rivoal, T., 2004, Hypergéomćtrie et fonction zêta de Riemann, Preprint.
42. Hoeij, M. van, 1999, Finite singularities and hypergeometric solutions of linear recurrence equations, Journal of Pure and Applied Algebra, 139, 109-131.