Structural theorems for symbolic summation

Applicable Algebra in Engineering, Communications and Computing

Volumn 21, Issue 1, 2010, Pages 1-32

  Schneider, Carsten ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

Structural theorems, Symbolic summation, Difference fields, Symbolic integration, Liouville's theorem

Indexed keywords

PARTICLE PHYSICS; SYMBOLIC INTEGRATION; SYMBOLIC SUMMATION;

EID: 74849113543     PISSN: 09381279     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00200-009-0115-3     Document Type: Article

References (54)

1. Ablinger, J.: A computer algebra toolbox for harmonic sums related to particle physics. Diploma thesis, RISC, Johannes Kepler University (2009)
2. S. Abramov 1971 On the summation of rational functions Zh. vychisl. mat. Fiz. 11 1071 1074 0243.65076 286241
3. Abramov, S., Petkovšek, M.: D'Alembertian solutions of linear differential and difference equations. In: von zur Gathen, J. (ed.) Proceedings of the ISSAC'94, pp. 169-174. ACM Press (1994)
4. S. Abramov M. Petkovšek 2002 Rational normal forms and minimal decompositions of hypergeometric terms J. Symbolic Comput. 33 5 521 543 1005.33010 10.1006/jsco.2002.0522 1919902
5. G. Andrews K. Uchimura 1985 Identities in combinatorics IV: Differentiation and harmonic numbers Util. Math. 28 265 269 0595.33005 821962
6. A. Bauer M. Petkovšek 1999 Multibasic and mixed hypergeometric Gosper-type algorithms J. Symbolic Comput. 28 4-5 711 736 0973.33010 10.1006/jsco.1999.0321 1731944
7. Bierenbaum, I., Blümlein, J., Klein, S., Schneider, C.: Difference equations in massive higher order calculations. In: Proceedings of the ACAT 2007, vol. PoS(ACAT)082 (2007). [arXiv:hep-ph/0707.4659]
8. I. Bierenbaum J. Blümlein S. Klein C. Schneider 2008 Two-loop massive operator matrix elements for unpolarized heavy flavor production to O Nucl.Phys. B 803 1-2 1 41 10.1016/j.nuclphysb.2008.05.016 [arXiv:hep-ph/0803. 0273]
9. Blümlein, J., Kauers, M., Klein, S., Schneider, C.: Determining the closed forms of the O anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra. Comput. Phys. Commun. (to appear) (2009). [arXiv:hep-ph/0902.4091]
10. Blümlein, J., Kurth, S.: Harmonic sums and Mellin transforms up to two-loop order. Phys. Rev. D60 (1999)
11. D. Bradley 2005 Duality for finite multiple harmonic q-series Discrete Math. 300 1-3 44 56 1085.11041 10.1016/j.disc.2005.06.008 2170113 (Pubitemid 41360115)
12. Bronstein M.: Symbolic Integration I, Transcendental functions. Springer, Berlin-Heidelberg (1997)
13. M. Bronstein 2000 On solutions of linear ordinary difference equations in their coefficient field J. Symbolic Comput. 29 6 841 877 0961.12004 10.1006/jsco.2000.0368 1765927
14. F. Chyzak 2000 An extension of Zeilberger's fast algorithm to general holonomic functions Discrete Math. 217 115 134 0968.33011 10.1016/S0012-365X(99) 00259-9 1766263
15. F. Chyzak B. Salvy 1998 Non-commutative elimination in ore algebras proves multivariate identities J. Symbolic Comput. 26 2 187 227 0944.05006 10.1006/jsco.1998.0207 1635242
16. K. Dilcher 1995 Some q-series identities related to divisor functions Discrete Math. 145 1-3 83 93 0834.05005 10.1016/0012-365X(95)00092-B 1356587
17. P. Flajolet B. Salvy 1998 Euler sums and contour integral representations Experimental Math. 7 1 15 35 0920.11061 1618286 (Pubitemid 128182402)
18. R. Gosper 1978 Decision procedures for indefinite hypergeometric summation Proc. Nat. Acad. Sci. U.S.A. 75 40 42 0384.40001 10.1073/pnas.75.1.40 485674
19. P. Hendriks M. Singer 1999 Solving difference equations in finite terms J. Symbolic Comput. 27 3 239 259 0930.39004 10.1006/jsco.1998.0251 1673591
20. M. Hoeij 1999 Finite singularities and hypergeometric solutions of linear recurrence equations J. Pure Appl. Algebra 139 1-3 109 131 0933.39041 10.1016/S0022-4049(99)00008-0 1700540
21. M. Karr 1981 Summation in finite terms J. ACM 28 305 350 0494.68044 10.1145/322248.322255 612083
22. M. Karr 1985 Theory of summation in finite terms J. Symbolic Comput. 1 303 315 0585.68052 10.1016/S0747-7171(85)80038-9 849038
23. M. Kauers C. Schneider 2006 Indefinite summation with unspecified summands Discrete Math. 306 17 2021 2140 10.1016/j.disc.2006.04.005 2251826 (Pubitemid 44189363)
24. Kauers, M., Schneider, C.: Symbolic summation with radical expressions. In: Brown, C. (ed.) Proceedings of the ISSAC'07, pp. 219-226 (2007)
25. Kauers, M., Schneider, C.: Automated proofs for some Stirling number identities. Electron. J. Combin. 15 (2008).
26. Kirschenhofer, P.: A note on alternating sums. Electron. J. Combin. 3(2) (1996)
27. e Courcier, Paris (1814)
28. J. Liouville 1835 Mémoire sur l'intégration d'une classe de fonctions transcendantes J. Reine Angew. Math. 13 93 118 ERAM 013.0476cj
29. S. Moch P. Uwer S. Weinzierl 2002 Nested sums, expansion of transcendental functions, and multiscale multiloop integrals J. Math. Phys. 6 3363 3386 10.1063/1.1471366 1902486
30. Nörlund N.: Differenzenrechnung. Springer, Berlin (1924)
31. A. Ostrowski 1946 Sur l'intégrabilité élé mentaire de quelques classes d'expressions Comment. Math. Helv. 18 283 308 0063.06063 10.1007/BF02568114 16763
32. P. Paule 1995 Greatest factorial factorization and symbolic summation J. Symbolic Comput. 20 3 235 268 0854.68047 10.1006/jsco.1995.1049 1378099
33. Paule, P., Riese, A.: A Mathematica q-analogue of Zeilberger's algorithm based on an algebraically motivated aproach to q-hypergeometric telescoping. In: Ismail, M., Rahman, M. (eds.) Special Functions, q-Series and Related Topics, vol. 14, pp. 179-210. Fields Institute Toronto, AMS (1997)
34. M. Petkovšek 1992 Hypergeometric solutions of linear recurrences with polynomial coefficients J. Symbolic Comput. 14 2-3 243 264 0761.11008 10.1016/0747-7171(92)90038-6 1187234
35. Petkovšek M., Wilf H.S., Zeilberger D.: A = B. A. K. Peters, Wellesley, MA (1996)
36. R. Risch 1969 The problem of integration in finite terms Trans. Amer. Math. Soc. 139 167 189 0184.06702 10.2307/1995313 237477
37. R. Risch 1970 The solution to the problem of integration in finite terms Bull. Amer. Math. Soc. 76 605 608 0196.06801 10.1090/S0002-9904-1970-12454-5 269635
38. M. Rosenlicht 1968 Liouville's theorem on functions with elementary integrals Pacific J. Math. 24 153 161 0155.36702 223346
39. Schneider, C.: Symbolic summation in difference fields. Ph.D. thesis, RISC-Linz, J. Kepler University, Linz (2001)
40. Schneider, C.: Symbolic summation with single-nested sum extensions. In: Gutierrez, J. (ed.) Proceedings of the ISSAC'04, pp. 282-289. ACM Press (2004)
41. Schneider, C.: Finding telescopers with minimal depth for indefinite nested sum and product expressions. In: Kauers, M. (ed.) Proceedings of the ISSAC'05, pp. 285-292. ACM (2005)
42. C. Schneider 2005 A new Sigma approach to multi-summation Adv. in Appl. Math. (special issue dedicated to Dr. David P. Robbins) 34 4 740 767 1078.33021
43. C. Schneider 2005 Product representations in Π∑-fields Ann. Comb. 9 1 75 99 1123.33021 10.1007/s00026-005-0242-2 2135777 (Pubitemid 40550411)
44. C. Schneider 2005 Solving parameterized linear difference equations in terms of indefinite nested sums and products J. Differ. Equations Appl. 11 9 799 821 1087.33011 10.1080/10236190500138262 (Pubitemid 41251444)
45. C. Schneider 2007 Simplifying sums in Π∑-extensions J. Algebra Appl. 6 3 415 441 1120.33023 10.1142/S0219498807002302 2337761
46. C. Schneider 2007 Symbolic summation assists combinatorics Sém. Lothar. Combin. 56 1 36 Article B56b
47. C. Schneider 2008 A refined difference field theory for symbolic summation J. Symbolic Comput. 43 9 611 644 1147.33006 10.1016/j.jsc.2008.01.001 2420707 [arXiv:0808.2543v1]
48. Schneider, C.: Parameterized telescoping proves algebraic independence of sums. Ann. Comb. (2009) (to appear). [arXiv:0808.2596]
49. Schneider, C.: A symbolic summation approach to find optimal nested sum representations. In: Proceedings of the Conference on Motives, Quantum Field Theory, and Pseudodifferential Operators (to appear in the Mathematics Clay Proceedings) (2009)
50. M.F. Singer B.D. Saunders B.F. Caviness 1985 An extension of Liouville's theorem on integration in finite terms SIAM J. Comput. 14 4 966 990 0575.12021 10.1137/0214069 807895
51. J. Vermaseren 1999 Harmonic sums, Mellin transforms and integrals Int. J. Mod. Phys. A 14 2037 2976 0939.65032 10.1142/S0217751X99001032 1693541
52. Wegschaider, K.: Computer generated proofs of binomial multi-sum identities. Diploma thesis, RISC Linz, Johannes Kepler University (1997)
53. D. Zeilberger 1990 A holonomic systems approach to special functions identities J. Comput. Appl. Math. 32 321 368 0738.33001 10.1016/0377-0427(90) 90042-X 1090884
54. D. Zeilberger 1991 The method of creative telescoping J. Symbolic Comput. 11 195 204 0738.33002 10.1016/S0747-7171(08)80044-2 1103727