{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:09Z","timestamp":1750221009174,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":66,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,7,8]],"date-time":"2019-07-08T00:00:00Z","timestamp":1562544000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,7,8]]},"DOI":"10.1145\/3326229.3326280","type":"proceedings-article","created":{"date-parts":[[2019,7,9]],"date-time":"2019-07-09T12:53:20Z","timestamp":1562676800000},"page":"1-3","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The Art of Telescoping"],"prefix":"10.1145","author":[{"given":"William Y. C.","family":"Chen","sequence":"first","affiliation":[{"name":"Tianjin University, Tianjin, China"}]}],"member":"320","published-online":{"date-parts":[[2019,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0196-8858(02)00504-3"},{"key":"e_1_3_2_1_2_1","volume-title":"Physics and Mechanics","volume":"39","author":"Abramov S.A.","year":"2001","unstructured":"S.A. Abramov and M. Petkovvsek. 2001. Proof of a conjecture of Wilf and Zeilberger. Preprints Series of the Institute of Mathematics, Physics and Mechanics, Vol. 39, 748 (2001)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0012-365X(02)00442-9"},{"key":"e_1_3_2_1_4_1","article-title":"Hypergeometric series acceleration via the WZ method","volume":"4","author":"Amdeberhan T.","year":"1997","unstructured":"T. Amdeberhan and D. Zeilberger. 1997. Hypergeometric series acceleration via the WZ method. Electron. J. Combin., Vol. 4, 2 (1997), Research Paper 3, approx. 4. http:\/\/www.combinatorics.org\/Volume_4\/Abstracts\/v4i2r3.html The Wilf Festschrift (Philadelphia, PA, 1996).","journal-title":"Electron. J. Combin."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.2307\/2324461"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aam.2005.09.003"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1888390.1888399"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.37236\/2009"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3208976.3208992"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2014.08.005"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2018.06.003"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aam.2012.04.003"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2014.03.023"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-07-01968-0"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.09.002"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2005.10.010"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0013091506001313"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aam.2007.11.004"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1137\/141001913"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.11.005"},{"key":"e_1_3_2_1_21_1","unstructured":"F. Chyzak. 1998. Holonomic functions in computer algebra. Theses. Ecole Polytechnique X . https:\/\/tel.archives-ouvertes.fr\/tel-00991717"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0012-365X(99)00259-9"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcta.1998.2918"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90313-I"},{"key":"e_1_3_2_1_25_1","unstructured":"L. Euler. 1768. Institutionum Calculi Integralis. impensis Academiae imperialis scientiarum Petropoli."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1947-08893-5"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1949.11990232"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1995.1064"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.75.1.40"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"E. Grigorieva. 2016. Methods of solving sequence and series problems .Birkh\"auser\/Springer Cham. xx","DOI":"10.1007\/978-3-319-45686-7"},{"key":"e_1_3_2_1_31_1","unstructured":"281 pages."},{"volume-title":"Algebraic Method in Combinatorics . Theses","author":"Hou Q.-H.","key":"e_1_3_2_1_32_1","unstructured":"Q.-H. Hou. 2001. Algebraic Method in Combinatorics . Theses. Nankai University."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0196-8858(03)00056-3"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aam.2014.11.002"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/322248.322255"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(85)80038-9"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.08.002"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"M. Kauers and P. Paule. 2011. The Concrete Tetrahedron .SpringerWienNewYork Vienna. x","DOI":"10.1007\/978-3-7091-0445-3"},{"key":"e_1_3_2_1_39_1","unstructured":"203 pages. Symbolic sums recurrence equations generating functions asymptotic estimates."},{"volume-title":"Fundamental Algorithms","author":"Knuth D.E.","key":"e_1_3_2_1_40_1","unstructured":"D.E. Knuth. 1968. The Art of Computer Programming. Vol. 1: Fundamental Algorithms .Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont. xxi"},{"key":"e_1_3_2_1_41_1","unstructured":"634 pages."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/260999"},{"volume-title":"Fundamental Algorithms","key":"e_1_3_2_1_43_1","unstructured":"650 pages. Fundamental Algorithms, Third edition {of MR0286317}."},{"volume-title":"Hypergeometric Summation","author":"Koepf W.","key":"e_1_3_2_1_44_1","unstructured":"W. Koepf. 2014. Hypergeometric Summation second ed.). Springer, London. xviii"},{"key":"e_1_3_2_1_45_1","unstructured":"279 pages. An algorithmic approach to summation and special function identities."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/0377-0427(93)90317-5"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-0427(98)00176-9"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1019186108"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.10.002"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1995.1049"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1995.1071"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"crossref","unstructured":"Wilf H. Petkovvsek M. and D. Zeilberger. 1996. A = B .A K Peters\/CRC Press Ltd. 224 pages. https:\/\/www.math.upenn.edu\/ wilf\/AeqB.html","DOI":"10.1201\/9781439864500"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(02)00138-4"},{"volume-title":"Symbolic Summation in Difference Fields . Theses","author":"Schneider C.","key":"e_1_3_2_1_56_1","unstructured":"C. Schneider. 2001. Symbolic Summation in Difference Fields . Theses. J. Kepler University. https:\/\/www3.risc.jku.at\/publications\/download\/risc_3017\/SymbSumTHESIS.pdf"},{"key":"e_1_3_2_1_57_1","volume-title":"S\u00e9m. Lothar. Combin.","volume":"56","author":"Schneider C.","year":"2006","unstructured":"C. Schneider. 2006\/07. Symbolic summation assists combinatorics. S\u00e9m. Lothar. Combin., Vol. 56 (2006\/07), Art. B56b, 36."},{"volume-title":"Computer algebra in quantum field theory","author":"Schneider C.","key":"e_1_3_2_1_58_1","unstructured":"C. Schneider. 2013. Simplifying multiple sums in difference fields. In Computer algebra in quantum field theory. Springer, Vienna, 325--360."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930945"},{"key":"e_1_3_2_1_60_1","volume-title":"Infinite Powers: How Calculus Reveals the Secrets of the Universe .Houghton Mifflin Harcourt.","author":"Strogatz S.","year":"2019","unstructured":"S. Strogatz. 2019. Infinite Powers: How Calculus Reveals the Secrets of the Universe .Houghton Mifflin Harcourt."},{"key":"e_1_3_2_1_61_1","unstructured":"K. Wegschaider. 1997. Computer Generated Proofs of Binomial Multi-Sum Identities . 102 pages. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.57.2509&rep=rep1&type=pdf Diploma Thesis--J. Kepler University."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-1990-1007910-7"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1990-15904-X"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02100618"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(90)90120-7"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1016\/0377-0427(90)90042-X"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/122514.122515"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80044-2"}],"event":{"name":"ISSAC '19: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Beijing China","acronym":"ISSAC '19"},"container-title":["Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3326229.3326280","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3326229.3326280","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:26:00Z","timestamp":1750206360000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3326229.3326280"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,8]]},"references-count":66,"alternative-id":["10.1145\/3326229.3326280","10.1145\/3326229"],"URL":"https:\/\/doi.org\/10.1145\/3326229.3326280","relation":{},"subject":[],"published":{"date-parts":[[2019,7,8]]},"assertion":[{"value":"2019-07-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}