{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:41:29Z","timestamp":1775054489190,"version":"3.50.1"},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,11,11]],"date-time":"2009-11-11T00:00:00Z","timestamp":1257897600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.1007\/s00200-009-0115-3","type":"journal-article","created":{"date-parts":[[2009,11,10]],"date-time":"2009-11-10T08:45:25Z","timestamp":1257842725000},"page":"1-32","source":"Crossref","is-referenced-by-count":27,"title":["Structural theorems for symbolic summation"],"prefix":"10.1007","volume":"21","author":[{"given":"Carsten","family":"Schneider","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,11,11]]},"reference":[{"key":"115_CR1","unstructured":"Ablinger, J.: A computer algebra toolbox for harmonic sums related to particle physics. Diploma thesis, RISC, Johannes Kepler University (2009)"},{"key":"115_CR2","first-page":"1071","volume":"11","author":"S. Abramov","year":"1971","unstructured":"Abramov S.: On the summation of rational functions. Zh. vychisl. mat. Fiz. 11, 1071\u20131074 (1971)","journal-title":"Zh. vychisl. mat. Fiz."},{"key":"115_CR3","doi-asserted-by":"crossref","unstructured":"Abramov, S., Petkov\u0161ek, M.: D\u2019Alembertian solutions of linear differential and difference equations. In: von zur Gathen, J. (ed.) Proceedings of the ISSAC\u201994, pp. 169\u2013174. ACM Press (1994)","DOI":"10.1145\/190347.190412"},{"issue":"5","key":"115_CR4","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1006\/jsco.2002.0522","volume":"33","author":"S. Abramov","year":"2002","unstructured":"Abramov S., Petkov\u0161ek M.: Rational normal forms and minimal decompositions of hypergeometric terms. J. Symbolic Comput. 33(5), 521\u2013543 (2002)","journal-title":"J. Symbolic Comput."},{"key":"115_CR5","first-page":"265","volume":"28","author":"G. Andrews","year":"1985","unstructured":"Andrews G., Uchimura K.: Identities in combinatorics IV: Differentiation and harmonic numbers. Util. Math. 28, 265\u2013269 (1985)","journal-title":"Util. Math."},{"issue":"4\u20135","key":"115_CR6","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1006\/jsco.1999.0321","volume":"28","author":"A. Bauer","year":"1999","unstructured":"Bauer A., Petkov\u0161ek M.: Multibasic and mixed hypergeometric Gosper-type algorithms. J. Symbolic Comput. 28(4\u20135), 711\u2013736 (1999)","journal-title":"J. Symbolic Comput."},{"key":"115_CR7","unstructured":"Bierenbaum, I., Bl\u00fcmlein, 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]"},{"issue":"1-2","key":"115_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.nuclphysb.2008.05.016","volume":"803","author":"I. Bierenbaum","year":"2008","unstructured":"Bierenbaum I., Bl\u00fcmlein J., Klein S., Schneider C.: Two-loop massive operator matrix elements for unpolarized heavy flavor production to $${O(\\epsilon)}$$ . Nucl.Phys. B 803(1-2), 1\u201341 (2008) [arXiv:hep-ph\/0803.0273]","journal-title":"Nucl.Phys. B"},{"key":"115_CR9","doi-asserted-by":"crossref","unstructured":"Bl\u00fcmlein, J., Kauers, M., Klein, S., Schneider, C.: Determining the closed forms of the $${O(a_s^3)}$$ anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra. Comput. Phys. Commun. (to appear) (2009). [arXiv:hep-ph\/0902.4091]","DOI":"10.1016\/j.cpc.2009.06.020"},{"key":"115_CR10","doi-asserted-by":"crossref","unstructured":"Bl\u00fcmlein, J., Kurth, S.: Harmonic sums and Mellin transforms up to two-loop order. Phys. Rev. D60 (1999)","DOI":"10.1103\/PhysRevD.60.014018"},{"issue":"1\u20133","key":"115_CR11","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1016\/j.disc.2005.06.008","volume":"300","author":"D. Bradley","year":"2005","unstructured":"Bradley D.: Duality for finite multiple harmonic q-series. Discrete Math. 300(1\u20133), 44\u201356 (2005)","journal-title":"Discrete Math."},{"key":"115_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03386-9","volume-title":"Symbolic Integration I, Transcendental functions","author":"M. Bronstein","year":"1997","unstructured":"Bronstein M.: Symbolic Integration I, Transcendental functions. Springer, Berlin-Heidelberg (1997)"},{"issue":"6","key":"115_CR13","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1006\/jsco.2000.0368","volume":"29","author":"M. Bronstein","year":"2000","unstructured":"Bronstein M.: On solutions of linear ordinary difference equations in their coefficient field. J. Symbolic Comput. 29(6), 841\u2013877 (2000)","journal-title":"J. Symbolic Comput."},{"key":"115_CR14","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0012-365X(99)00259-9","volume":"217","author":"F. Chyzak","year":"2000","unstructured":"Chyzak F.: An extension of Zeilberger\u2019s fast algorithm to general holonomic functions. Discrete Math. 217, 115\u2013134 (2000)","journal-title":"Discrete Math."},{"issue":"2","key":"115_CR15","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1006\/jsco.1998.0207","volume":"26","author":"F. Chyzak","year":"1998","unstructured":"Chyzak F., Salvy B.: Non-commutative elimination in ore algebras proves multivariate identities. J. Symbolic Comput. 26(2), 187\u2013227 (1998)","journal-title":"J. Symbolic Comput."},{"issue":"1\u20133","key":"115_CR16","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0012-365X(95)00092-B","volume":"145","author":"K. Dilcher","year":"1995","unstructured":"Dilcher K.: Some q\u2013series identities related to divisor functions. Discrete Math. 145(1\u20133), 83\u201393 (1995)","journal-title":"Discrete Math."},{"issue":"1","key":"115_CR17","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1080\/10586458.1998.10504356","volume":"7","author":"P. Flajolet","year":"1998","unstructured":"Flajolet P., Salvy B.: Euler sums and contour integral representations. Experimental Math. 7(1), 15\u201335 (1998)","journal-title":"Experimental Math."},{"key":"115_CR18","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1073\/pnas.75.1.40","volume":"75","author":"R. Gosper","year":"1978","unstructured":"Gosper R.: Decision procedures for indefinite hypergeometric summation. Proc. Nat. Acad. Sci. U.S.A. 75, 40\u201342 (1978)","journal-title":"Proc. Nat. Acad. Sci. U.S.A."},{"issue":"3","key":"115_CR19","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1006\/jsco.1998.0251","volume":"27","author":"P. Hendriks","year":"1999","unstructured":"Hendriks P., Singer M.: Solving difference equations in finite terms. J. Symbolic Comput. 27(3), 239\u2013259 (1999)","journal-title":"J. Symbolic Comput."},{"issue":"1\u20133","key":"115_CR20","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0022-4049(99)00008-0","volume":"139","author":"M. Hoeij","year":"1999","unstructured":"Hoeij M.: Finite singularities and hypergeometric solutions of linear recurrence equations. J. Pure Appl. Algebra 139(1\u20133), 109\u2013131 (1999)","journal-title":"J. Pure Appl. Algebra"},{"key":"115_CR21","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1145\/322248.322255","volume":"28","author":"M. Karr","year":"1981","unstructured":"Karr M.: Summation in finite terms. J. ACM 28, 305\u2013350 (1981)","journal-title":"J. ACM"},{"key":"115_CR22","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/S0747-7171(85)80038-9","volume":"1","author":"M. Karr","year":"1985","unstructured":"Karr M.: Theory of summation in finite terms. J. Symbolic Comput. 1, 303\u2013315 (1985)","journal-title":"J. Symbolic Comput."},{"issue":"17","key":"115_CR23","doi-asserted-by":"crossref","first-page":"2021","DOI":"10.1016\/j.disc.2006.04.005","volume":"306","author":"M. Kauers","year":"2006","unstructured":"Kauers M., Schneider C.: Indefinite summation with unspecified summands. Discrete Math. 306(17), 2021\u20132140 (2006)","journal-title":"Discrete Math."},{"key":"115_CR24","doi-asserted-by":"crossref","unstructured":"Kauers, M., Schneider, C.: Symbolic summation with radical expressions. In: Brown, C. (ed.) Proceedings of the ISSAC\u201907, pp. 219\u2013226 (2007)","DOI":"10.1145\/1277548.1277579"},{"key":"115_CR25","doi-asserted-by":"crossref","unstructured":"Kauers, M., Schneider, C.: Automated proofs for some Stirling number identities. Electron. J. Combin. 15 (2008). $${\\sharp{R}2}$$","DOI":"10.37236\/726"},{"key":"115_CR26","doi-asserted-by":"crossref","unstructured":"Kirschenhofer, P.: A note on alternating sums. Electron. J. Combin. 3(2) (1996)","DOI":"10.37236\/1265"},{"key":"115_CR27","volume-title":"Th\u00e9orie analytique des probabilit\u00e9s Vol. I","author":"P. Laplace","year":"1814","unstructured":"Laplace P.: Th\u00e9orie analytique des probabilit\u00e9s Vol. I. V e Courcier, Paris (1814)","edition":"2"},{"key":"115_CR28","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1515\/crll.1835.13.93","volume":"13","author":"J. Liouville","year":"1835","unstructured":"Liouville J.: M\u00e9moire sur l\u2019int\u00e9gration d\u2019une classe de fonctions transcendantes. J. Reine Angew. Math. 13, 93\u2013118 (1835)","journal-title":"J. Reine Angew. Math."},{"key":"115_CR29","doi-asserted-by":"crossref","first-page":"3363","DOI":"10.1063\/1.1471366","volume":"6","author":"S. Moch","year":"2002","unstructured":"Moch S., Uwer P., Weinzierl S.: Nested sums, expansion of transcendental functions, and multiscale multiloop integrals. J. Math. Phys. 6, 3363\u20133386 (2002)","journal-title":"J. Math. Phys."},{"key":"115_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-50824-0","volume-title":"Differenzenrechnung","author":"N. N\u00f6rlund","year":"1924","unstructured":"N\u00f6rlund N.: Differenzenrechnung. Springer, Berlin (1924)"},{"key":"115_CR31","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/BF02568114","volume":"18","author":"A. Ostrowski","year":"1946","unstructured":"Ostrowski A.: Sur l\u2019int\u00e9grabilit\u00e9 \u00e9l\u00e9mentaire de quelques classes d\u2019expressions. Comment. Math. Helv. 18, 283\u2013308 (1946)","journal-title":"Comment. Math. Helv."},{"issue":"3","key":"115_CR32","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1006\/jsco.1995.1049","volume":"20","author":"P. Paule","year":"1995","unstructured":"Paule P.: Greatest factorial factorization and symbolic summation. J. Symbolic Comput. 20(3), 235\u2013268 (1995)","journal-title":"J. Symbolic Comput."},{"key":"115_CR33","doi-asserted-by":"crossref","unstructured":"Paule, P., Riese, A.: A Mathematica q-analogue of Zeilberger\u2019s 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\u2013210. Fields Institute Toronto, AMS (1997)","DOI":"10.1090\/fic\/014\/11"},{"issue":"2\u20133","key":"115_CR34","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0747-7171(92)90038-6","volume":"14","author":"M. Petkov\u0161ek","year":"1992","unstructured":"Petkov\u0161ek M.: Hypergeometric solutions of linear recurrences with polynomial coefficients. J. Symbolic Comput. 14(2\u20133), 243\u2013264 (1992)","journal-title":"J. Symbolic Comput."},{"key":"115_CR35","doi-asserted-by":"crossref","unstructured":"Petkov\u0161ek M., Wilf H.S., Zeilberger D.: A =\u00a0B. A. K. Peters, Wellesley, MA (1996)","DOI":"10.1201\/9781439864500"},{"key":"115_CR36","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1090\/S0002-9947-1969-0237477-8","volume":"139","author":"R. Risch","year":"1969","unstructured":"Risch R.: The problem of integration in finite terms. Trans. Amer. Math. Soc. 139, 167\u2013189 (1969)","journal-title":"Trans. Amer. Math. Soc."},{"key":"115_CR37","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1090\/S0002-9904-1970-12454-5","volume":"76","author":"R. Risch","year":"1970","unstructured":"Risch R.: The solution to the problem of integration in finite terms. Bull. Amer. Math. Soc. 76, 605\u2013608 (1970)","journal-title":"Bull. Amer. Math. Soc."},{"key":"115_CR38","doi-asserted-by":"crossref","first-page":"153","DOI":"10.2140\/pjm.1968.24.153","volume":"24","author":"M. Rosenlicht","year":"1968","unstructured":"Rosenlicht M.: Liouville\u2019s theorem on functions with elementary integrals. Pacific J. Math. 24, 153\u2013161 (1968)","journal-title":"Pacific J. Math."},{"key":"115_CR39","unstructured":"Schneider, C.: Symbolic summation in difference fields. Ph.D. thesis, RISC-Linz, J. Kepler University, Linz (2001)"},{"key":"115_CR40","doi-asserted-by":"crossref","unstructured":"Schneider, C.: Symbolic summation with single-nested sum extensions. In: Gutierrez, J. (ed.) Proceedings of the ISSAC\u201904, pp. 282\u2013289. ACM Press (2004)","DOI":"10.1145\/1005285.1005326"},{"key":"115_CR41","doi-asserted-by":"crossref","unstructured":"Schneider, C.: Finding telescopers with minimal depth for indefinite nested sum and product expressions. In: Kauers, M. (ed.) Proceedings of the ISSAC\u201905, pp. 285\u2013292. ACM (2005)","DOI":"10.1145\/1073884.1073924"},{"issue":"4","key":"115_CR42","first-page":"740","volume":"34","author":"C. Schneider","year":"2005","unstructured":"Schneider C.: A new Sigma approach to multi-summation. Adv. in Appl. Math. (special issue dedicated to Dr. David P. Robbins) 34(4), 740\u2013767 (2005)","journal-title":"Adv. in Appl. Math. (special issue dedicated to Dr. David P. Robbins)"},{"issue":"1","key":"115_CR43","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/s00026-005-0242-2","volume":"9","author":"C. Schneider","year":"2005","unstructured":"Schneider C.: Product representations in \u03a0\u03a3-fields. Ann. Comb. 9(1), 75\u201399 (2005)","journal-title":"Ann. Comb."},{"issue":"9","key":"115_CR44","doi-asserted-by":"crossref","first-page":"799","DOI":"10.1080\/10236190500138262","volume":"11","author":"C. Schneider","year":"2005","unstructured":"Schneider C.: Solving parameterized linear difference equations in terms of indefinite nested sums and products. J. Differ. Equations Appl. 11(9), 799\u2013821 (2005)","journal-title":"J. Differ. Equations Appl."},{"issue":"3","key":"115_CR45","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1142\/S0219498807002302","volume":"6","author":"C. Schneider","year":"2007","unstructured":"Schneider C.: Simplifying sums in \u03a0\u03a3-extensions. J. Algebra Appl. 6(3), 415\u2013441 (2007)","journal-title":"J. Algebra Appl."},{"key":"115_CR46","first-page":"1","volume":"56","author":"C. Schneider","year":"2007","unstructured":"Schneider C.: Symbolic summation assists combinatorics. S\u00e9m. Lothar. Combin. 56, 1\u201336 (2007) Article B56b","journal-title":"S\u00e9m. Lothar. Combin."},{"issue":"9","key":"115_CR47","doi-asserted-by":"crossref","first-page":"611","DOI":"10.1016\/j.jsc.2008.01.001","volume":"43","author":"C. Schneider","year":"2008","unstructured":"Schneider C.: A refined difference field theory for symbolic summation. J. Symbolic Comput. 43(9), 611\u2013644 (2008) [arXiv:0808.2543v1]","journal-title":"J. Symbolic Comput."},{"key":"115_CR48","doi-asserted-by":"crossref","unstructured":"Schneider, C.: Parameterized telescoping proves algebraic independence of sums. Ann. Comb. (2009) (to appear). [arXiv:0808.2596]","DOI":"10.1007\/s00026-011-0076-7"},{"key":"115_CR49","unstructured":"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)"},{"issue":"4","key":"115_CR50","doi-asserted-by":"crossref","first-page":"966","DOI":"10.1137\/0214069","volume":"14","author":"M.F. Singer","year":"1985","unstructured":"Singer M.F., Saunders B.D., Caviness B.F.: An extension of Liouville\u2019s theorem on integration in finite terms. SIAM J. Comput. 14(4), 966\u2013990 (1985)","journal-title":"SIAM J. Comput."},{"key":"115_CR51","doi-asserted-by":"crossref","first-page":"2037","DOI":"10.1142\/S0217751X99001032","volume":"14","author":"J. Vermaseren","year":"1999","unstructured":"Vermaseren J.: Harmonic sums, Mellin transforms and integrals. Int. J. Mod. Phys. A 14, 2037\u20132976 (1999)","journal-title":"Int. J. Mod. Phys. A"},{"key":"115_CR52","unstructured":"Wegschaider, K.: Computer generated proofs of binomial multi-sum identities. Diploma thesis, RISC Linz, Johannes Kepler University (1997)"},{"key":"115_CR53","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0377-0427(90)90042-X","volume":"32","author":"D. Zeilberger","year":"1990","unstructured":"Zeilberger D.: A holonomic systems approach to special functions identities. J. Comput. Appl. Math. 32, 321\u2013368 (1990)","journal-title":"J. Comput. Appl. Math."},{"key":"115_CR54","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/S0747-7171(08)80044-2","volume":"11","author":"D. Zeilberger","year":"1991","unstructured":"Zeilberger D.: The method of creative telescoping. J. Symbolic Comput. 11, 195\u2013204 (1991)","journal-title":"J. Symbolic Comput."}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-009-0115-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00200-009-0115-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-009-0115-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,23]],"date-time":"2020-05-23T14:54:45Z","timestamp":1590245685000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00200-009-0115-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,11]]},"references-count":54,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["115"],"URL":"https:\/\/doi.org\/10.1007\/s00200-009-0115-3","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,11,11]]}}}