Symbolic summation with single-nested sum extensions

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn , Issue , 2004, Pages 281-289

  Schneider, Carsten ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

Creative telescoping; Difference field extensions; Telescoping

Indexed keywords

PROBLEM SOLVING;

CREATIVE TELESCOPING; DIFFERENCE FIELD EXTENSIONS; TELESCOPING;

ALGORITHMS;

EID: 27644579000     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1005285.1005326     Document Type: Conference Paper

References (15)

1. S. A. Abramov and M. Petkovšek. D'Alembertian solutions of linear differential and difference equations. In J. von zur Gathen, editor, Proc. ISSAC'94, pages 169-174. ACM Press, Baltimore, 1994.
2. M. Bronstein. On solutions of linear ordinary difference equations in their coefficient field. J. Symbolic Comput., 29(6):841-877, June 2000.
3. R. M. Cohn. Difference Algebra. Interscience Publishers, John Wiley & Sons, 1965.
4. K. Driver, H. Prodinger, C. Schneider, and A. Weideman. Padé approximations to the logarithm III: Alternative methods and additional results. To Appear in Ramanujan Journal, 2004.
5. P. A. Hendriks and M. F. Singer. Solving difference equations in finite terms. J. Symbolic Comput., 27(3):239-259, 1999.
6. M. Karr. Summation in finite terms. J. ACM, 28:305-350, 1981.
7. M. Karr. Theory of summation in finite terms. J. Symbolic Comput., 1:303-315, 1985.
8. P. Paule and C. Schneider. Computer proofs of a new family of harmonic number identities. Adv. in Appl. Math., 31(2):359-378, 2003.
9. C. Schneider. Symbolic summation in difference fields. Technical Report 01-17, RISC-Linz, J. Kepler University, November 2001. PhD Thesis.
10. C. Schneider. A collection of denominator bounds to solve parameterized linear difference equations in Π∑-fields. SFB-Report 02-20, J. Kepler University, Linz, November 2002. Submitted.
11. C. Schneider. Degree bounds to find polynomial solutions of parameterized linear difference equations in Π∑-fields. SFB-Report 02-21. J. Kepler University, Linz, November 2002. Submitted.
12. C. Schneider. Solving parameterized linear difference equations in Π∑-fields. SFB-Report 02-19, J. Kepler University, Linz, November 2002. Submitted.
13. C. Schneider. Product representations in Π∑-fields. Technical Report 02-24, RISC-Linz, J. Kepler University, 2003. Submitted.
14. C. Schneider. Symbolic summation with single-nested sum extensions (extended version). SFB-Report 2004-7, J. Kepler University, Linz, 2004.
15. D. Zeilberger. A fast algorithm for proving terminating hypergeometric identities. Discrete Math., 80(2):207-211, 1990.