{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T05:29:39Z","timestamp":1773725379852,"version":"3.50.1"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2010,9,1]],"date-time":"2010-09-01T00:00:00Z","timestamp":1283299200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1007\/s11786-010-0055-0","type":"journal-article","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T03:35:21Z","timestamp":1289187321000},"page":"259-266","source":"Crossref","is-referenced-by-count":64,"title":["A Fast Approach to Creative Telescoping"],"prefix":"10.1007","volume":"4","author":[{"given":"Christoph","family":"Koutschan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,11,9]]},"reference":[{"key":"55_CR1","doi-asserted-by":"crossref","unstructured":"Abramov, S.A., Barkatou, M.: Rational solutions of first order linear difference systems. In: ISSAC\u201998: Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, pp. 124\u2013131. ACM, New York (1998)","DOI":"10.1145\/281508.281593"},{"key":"55_CR2","volume-title":"Special functions, Encyclopedia of mathematics and its applications, vol. 71","author":"G. Andrews","year":"1999","unstructured":"Andrews G., Askey R., Roy R.: Special functions, Encyclopedia of mathematics and its applications, vol. 71. Cambridge University Press, Cambridge (1999)"},{"key":"55_CR3","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1006\/jsco.1993.1038","volume":"16","author":"G.E. Andrews","year":"1993","unstructured":"Andrews G.E., Paule P.: Some questions concerning computer-generated proofs of a binomial double-sum identity. J. Symb. Comput. 16, 147\u2013153 (1993)","journal-title":"J. Symb. Comput."},{"key":"55_CR4","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1006\/jsco.1999.0314","volume":"28","author":"M. Barkatou","year":"1999","unstructured":"Barkatou M.: On rational solutions of systems of linear differential equations. J. Symb. Comput. 28, 547\u2013567 (1999)","journal-title":"J. Symb. Comput."},{"issue":"1\u20133","key":"55_CR5","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. Discret. Math. 217(1\u20133), 115\u2013134 (2000)","journal-title":"Discret. Math."},{"key":"55_CR6","doi-asserted-by":"crossref","unstructured":"Chyzak, F., Kauers, M., Salvy, B.: A non-holonomic systems approach to special function identities. In: ISSAC\u201909: Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, pp. 111\u2013118. ACM, New York (2009)","DOI":"10.1145\/1576702.1576720"},{"key":"55_CR7","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. Symb. Comput. 26, 187\u2013227 (1998)","journal-title":"J. Symb. Comput."},{"key":"55_CR8","unstructured":"Kauers, M., Koutschan, C., Zeilberger, D.: A proof of George Andrews\u2019 and Dave Robbins\u2019 q-TSPP conjecture (modulo a finite amount of routine calculations). The personal journal of Shalosh B. Ekhad and Doron Zeilberger, pp. 1\u20138. http:\/\/www.math.rutgers.edu\/~zeilberg\/pj.html (2009)"},{"key":"55_CR9","unstructured":"Klein, S.: Heavy flavor coefficient functions in deep-inelastic scattering at O(a s 2 ) and large virtualities. Diplomarbeit, Universit\u00e4t Potsdam, Germany (2006)"},{"key":"55_CR10","unstructured":"Koutschan, C.: Advanced applications of the holonomic systems approach. PhD Thesis, RISC, Johannes Kepler University, Linz, Austria (2009)"},{"key":"55_CR11","doi-asserted-by":"crossref","unstructured":"Koutschan, C.: Eliminating human insight: an algorithmic proof of Stembridge\u2019s TSPP theorem. In: Amdeberhan, T., Medina, L., Moll, V. (eds.) Gems in Experimental Mathematics, Contemporary Mathematics, vol. 517, pp. 219\u2013230. American Mathematical Society (2010)","DOI":"10.1090\/conm\/517\/10143"},{"key":"55_CR12","unstructured":"Koutschan, C., Kauers, M., Zeilberger, D.: A proof of George Andrews\u2019 and David Robbins\u2019 q-TSPP conjecture. Technical Report (2010). arXiv:1002.4384"},{"key":"55_CR13","doi-asserted-by":"crossref","unstructured":"Takayama, N.: An algorithm of constructing the integral of a module\u2014an infinite dimensional analog of Gr\u00f6bner basis. In: ISSAC\u201990: Proceedings of the International Symposium on Symbolic and Algebraic Computation, pp. 206\u2013211. ACM, New York (1990)","DOI":"10.1145\/96877.96929"},{"key":"55_CR14","doi-asserted-by":"crossref","unstructured":"Takayama, N.: Gr\u00f6bner basis, integration and transcendental functions. In: ISSAC\u201990: Proceedings of the International Symposium on Symbolic and Algebraic Computation, pp. 152\u2013156. ACM, New York (1990)","DOI":"10.1145\/96877.96916"},{"key":"55_CR15","unstructured":"Wegschaider, K.: Computer generated proofs of binomial multi-sum identities. Master\u2019s Thesis, RISC, Johannes Kepler University Linz (1997)"},{"issue":"1","key":"55_CR16","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/BF02100618","volume":"108","author":"H.S. Wilf","year":"1992","unstructured":"Wilf H.S., Zeilberger D.: An algorithmic proof theory for hypergeometric (ordinary and \u201cq\u201d) multisum\/integral identities. Invent. Math. 108(1), 575\u2013633 (1992)","journal-title":"Invent. Math."},{"issue":"3","key":"55_CR17","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(3), 321\u2013368 (1990)","journal-title":"J. Comput. Appl. Math."}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-010-0055-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11786-010-0055-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-010-0055-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T23:50:55Z","timestamp":1559778655000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11786-010-0055-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":17,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["55"],"URL":"https:\/\/doi.org\/10.1007\/s11786-010-0055-0","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,9]]}}}