A refined difference field theory for symbolic summation

Journal of Symbolic Computation

Volumn 43, Issue 9, 2008, Pages 611-644

  Schneider, Carsten ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

Difference fields; Nested depth; Symbolic summation

Indexed keywords

EID: 42649097573     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jsc.2008.01.001     Document Type: Article

References (41)

1. Abramov S., and Petkovšek M. D'Alembertian solutions of linear differential and difference equations. In: von~zur Gathen J. (Ed). Proc. ISSAC'94 (1994), ACM Press 169-174
2. Andrews G., Askey R., and Roy R. Special Functions (2006), Cambridge University Press
3. Bauer A., and Petkovšek M. Multibasic and mixed hypergeometric Gosper-type algorithms. J.~Symbolic Comput. 28 4-5 (1999) 711-736
4. Bierenbaum, I., Blümlein, J., Klein, S., Schneider, C., 2007. Difference equations in massive higher order calculations, in: Proc. ACAT 2007, volume PoS(ACAT)082
5. Blümlein J. Algebraic relations between harmonic sums and associated quantities. Comput. Phys. Commun. 159 4 (2004) 19-54
6. Blümlein J., and Kurth S. Harmonic sums and Mellin transforms up to two-loop order. Phys. Rev. D60 (1999)
7. Bronstein M. On solutions of linear ordinary difference equations in their coefficient field. J.~Symbolic Comput. 29 6 (2000) 841-877
8. Chyzak F. An extension of Zeilberger's fast algorithm to general holonomic functions. Discrete Math. 217 (2000) 115-134
9. Driver K., Prodinger H., Schneider C., and Weideman J. Padé approximations to the logarithm~III: Alternative methods and additional results. Ramanujan~J. 12 3 (2006) 299-314
10. Gosper R. Decision procedures for indefinite hypergeometric summation. Proc. Natl. Acad. Sci. USA 75 (1978) 40-42
11. Hendriks P., and Singer M. Solving difference equations in finite terms. J.~Symbolic Comput. 27 3 (1999) 239-259
12. Karr M. Summation in finite terms. J.~ACM 28 (1981) 305-350
13. Karr M. Theory of summation in finite terms. J.~Symbolic Comput. 1 (1985) 303-315
14. Kauers M., and Schneider C. Application of unspecified sequences in symbolic summation. In: Dumas J. (Ed). Proc. ISSAC'06 (2006), ACM Press 177-183
15. Kauers M., and Schneider C. Indefinite summation with unspecified summands. Discrete Math. 306 17 (2006) 2021-2140
16. Kauers M., and Schneider C. Symbolic summation with radical expressions. In: Brown C. (Ed). Proc. ISSAC'07 (2007) 219-226
17. Kuba, M., Prodinger, H., Schneider, C., 2005. Generalized reciprocity laws for sums of harmonic numbers. SFB-Report 2005-17, J. Kepler University Linz
18. Moch, S., Schneider, C., 2007. Feynman integrals and difference equations, in: Proc. ACAT 2007, volume PoS(ACAT)083
19. Osburn, R., Schneider, C., Gaussian hypergeometric series and extensions of supercongruences. Math. Comp., 2008 (in press)
20. Paule P. Greatest factorial factorization and symbolic summation. J.~Symbolic Comput. 20 3 (1995) 235-268
21. Paule P., and Riese A. A Mathematica q-analogue of Zeilberger's algorithm based on an algebraically motivated aproach to q-hypergeometric telescoping. In: Ismail M., and Rahman M. (Eds). Special Functions, q-Series and Related Topics vol. 14 (1997), Fields Institute Toronto, AMS 179-210
22. Paule P., and Schneider C. Computer proofs of a new family of harmonic number identities. Adv. in Appl. Math. 31 2 (2003) 359-378
23. Paule P., and Schneider C. Truncating binomial series with symbolic summation. INTEGERS. Electron. J. Combin. Number Theory 7 (2007) 1-9 #A22
24. Pemantle R., and Schneider C. When is 0.999... equal to 1?. Amer. Math. Monthly 114 4 (2007) 344-350
25. Risch R. The problem of integration in finite terms. Trans. Amer. Math. Soc. 139 (1969) 167-189
26. Risch R. The solution to the problem of integration in finite terms. Bull. Amer. Math. Soc. 76 (1970) 605-608
27. Schneider, C., 2001. Symbolic summation in difference fields. Technical Report 01-17, RISC-Linz, J. Kepler University, Ph.D. Thesis
28. Schneider C. The summation package Sigma: Underlying principles and a rhombus tiling application. Discrete Math. Theor. Comput. Sci. 6 2 (2004) 365-386
29. Schneider C. Symbolic summation with single-nested sum extensions. In: Gutierrez J. (Ed). Proc. ISSAC'04 (2004), ACM Press 282-289
30. Schneider C. Finding telescopers with minimal depth for indefinite nested sum and product expressions. In: Kauers M. (Ed). Proc. ISSAC'05 (2005), ACM 285-292
31. Schneider C. A new Sigma approach to multi-summation. Adv. in Appl. Math. Special Issue Dedicated to Dr. David P. Robbins 34 4 (2005) 740-767
32. Schneider C. Product representations in Π Σ-fields. Ann. Comb. 9 1 (2005) 75-99
33. Schneider C. Solving parameterized linear difference equations in terms of indefinite nested sums and products. J. Difference Equ. Appl. 11 9 (2005) 799-821
34. Schneider C. Simplifying Sums in Π Σ-Extensions. J. Algebra Appl. 6 3 (2007) 415-441
35. Schneider C. Symbolic summation assists combinatorics. Sém.~Lothar. Combin. 56 (2007) 1-36 Article B56b
36. Schneider, C., 2007c. Symbolic summation finds optimal nested sum representations. SFB-Report 2007-26, SFB F013, J. Kepler University Linz
37. Schneider, C., 2008. Parameterized telescoping proves algebraic independence of sums. Ann. Comb. (in press)
38. Singer M., Saunders B., and Caviness B. An extension of Liouville's theorem on integration in finite terms. SIAM J. Comput. 14 4 (1985) 966-990
39. Vermaseren J. Harmonic sums, Mellin transforms and integrals. Internat. J. Modern Phys. A14 (1999) 2037-2976
40. Vermaseren J., Vogt A., and Moch S. The third-order qcd corrections to deep-inelastic scattering by photon exchange. Nuclear Phys. B724 (2005) 3-182
41. Zeilberger D. The method of creative telescoping. J.~Symbolic Comput. 11 (1991) 195-204