{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:40:47Z","timestamp":1762774847050,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","funder":[{"name":"Austrian Science Fund","award":["10.55776\/I6130, 10.55776\/PAT8258123 and 10.55776\/PAT9952223"],"award-info":[{"award-number":["10.55776\/I6130, 10.55776\/PAT8258123 and 10.55776\/PAT9952223"]}]},{"name":"International Partnership Program of Chinese Academy of Sciences","award":["167GJHZ2023001FN"],"award-info":[{"award-number":["167GJHZ2023001FN"]}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2020YFA0712300 and 2023YFA1009401"],"award-info":[{"award-number":["2020YFA0712300 and 2023YFA1009401"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["12271511 and 12101449"],"award-info":[{"award-number":["12271511 and 12101449"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"CAS Project for Young Scientists in Basic Research","award":["YSBR-034"],"award-info":[{"award-number":["YSBR-034"]}]},{"name":"CAS Funds of the Youth Innovation Promotion Association","award":["Y2022001"],"award-info":[{"award-number":["Y2022001"]}]},{"name":"Strategic Priority Research Program of the Chinese Academy of Sciences","award":["XDB0510201"],"award-info":[{"award-number":["XDB0510201"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,7,28]]},"DOI":"10.1145\/3747199.3747548","type":"proceedings-article","created":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T10:51:17Z","timestamp":1762771877000},"page":"70-78","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Non-minimality of minimal telescopers explained by residues"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8756-3006","authenticated-orcid":false,"given":"Shaoshi","family":"Chen","sequence":"first","affiliation":[{"name":"KLMM, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8641-6661","authenticated-orcid":false,"given":"Manuel","family":"Kauers","sequence":"additional","affiliation":[{"name":"Institute for Algebra, Institute for Algebra, Johannes Kepler University Linz, Linz, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1135-3082","authenticated-orcid":false,"given":"Christoph","family":"Koutschan","sequence":"additional","affiliation":[{"name":"RICAM, Austrian Academy of Sciences, Linz, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-9533-3439","authenticated-orcid":false,"given":"Xiuyun","family":"Li","sequence":"additional","affiliation":[{"name":"KLMM, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-0832-3245","authenticated-orcid":false,"given":"Rong-Hua","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Mathematical Sciences, Tiangong University, Tianjin, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-6352-051X","authenticated-orcid":false,"given":"Yisen","family":"Wang","sequence":"additional","affiliation":[{"name":"KLMM, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"crossref","unstructured":"Sergei\u00a0A. Abramov. Applicability of Zeilberger\u2019s algorithm to hypergeometric terms. In Proc. ISSAC\u201902 pages 1\u20137 2002.","DOI":"10.1145\/780506.780507"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"crossref","unstructured":"Sergei\u00a0A. Abramov. When does Zeilberger\u2019s algorithm succeed? Adv. Appl. Math. 30(3):424\u2013441 2003.","DOI":"10.1016\/S0196-8858(02)00504-3"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"crossref","unstructured":"Sergei\u00a0A. Abramov. On the summability of P-recursive sequences. In Proc. ISSAC\u201906 pages 17\u201322 2006.","DOI":"10.1145\/1145768.1145779"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"Sergei\u00a0A. Abramov and Marko Petkov\u0161ek. Rational normal forms and minimal decompositions of hypergeometric terms. J. Symbolic Comput. 33(5):521\u2013543 2002.","DOI":"10.1006\/jsco.2002.0522"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"Sergei\u00a0A. Abramov and Marko Petkov\u0161ek. Gosper\u2019s algorithm accurate summation and the discrete Newton-Leibniz formula. In Proc. ISSAC\u201905 pages 5\u201312 2005.","DOI":"10.1145\/1073884.1073888"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","unstructured":"Sergei\u00a0A. Abramov and Marko Petkov\u0161ek. On the structure of multivariate hypergeometric terms. Adv. Appl. Math. 29(3):386\u2013411 2002.","DOI":"10.1016\/S0196-8858(02)00022-2"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"crossref","unstructured":"Carlos\u00a0E. Arreche and Hari Sitaula. Computing discrete residues of rational functions. In Proc. ISSAC\u201924 pages 65\u201373. ACM New York 2024.","DOI":"10.1145\/3666000.3669676"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"Carlos\u00a0E. Arreche and Yi\u00a0Zhang. Mahler discrete residues and summability for rational functions. In Proc. ISSAC\u201922 pages 525\u2013533. ACM New York 2022.","DOI":"10.1145\/3476446.3536186"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"crossref","unstructured":"Carlos\u00a0E. Arreche and Yi\u00a0Zhang. Twisted Mahler Discrete Residues. Int. Math. Res. Not. IMRN 2024(23):14259\u201314288 2024.","DOI":"10.1093\/imrn\/rnae238"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"Alin Bostan Fr\u00e9d\u00e9ric Chyzak Mark van Hoeij Manuel Kauers and Lucien Pech. Hypergeometric expressions for generating functions of walks with small steps in the quarter plane. Eur. J. Comb. 61:242\u2013275 2017.","DOI":"10.1016\/j.ejc.2016.10.010"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"crossref","unstructured":"Alin Bostan Pierre Lairez and Bruno Salvy. Multiple binomial sums. Journal of Symbolic Computation 80(2):351\u2013386 2017.","DOI":"10.1016\/j.jsc.2016.04.002"},{"key":"e_1_3_3_1_13_2","unstructured":"Manuel Bronstein. Symbolic Integration I: Transcendental Functions volume\u00a01 of Algorithms and Computation in Mathematics. Springer-Verlag Berlin second edition 2005."},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"crossref","unstructured":"Shaoshi Chen Qing-Hu Hou George Labahn and Rong-Hua Wang. Existence problem of telescopers: beyond the bivariate case. In Proc. ISSAC\u201916 pages 167\u2013174. ACM New York 2016.","DOI":"10.1145\/2930889.2930895"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"crossref","unstructured":"Shaoshi Chen Hui Huang Manuel Kauers and Ziming Li. A modified Abramov-Petkov\u0161ek reduction and creative telescoping for hypergeometric terms. In Proc. ISSAC\u201915 pages 117\u2013124. ACM New York 2015.","DOI":"10.1145\/2755996.2756648"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"Shaoshi Chen Manuel Kauers and Michael\u00a0F. Singer. Telescopers for rational and algebraic functions via residues. In Proc. ISSAC\u201912 pages 130\u2013137. ACM New York 2012.","DOI":"10.1145\/2442829.2442851"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Shaoshi Chen and Michael\u00a0F. Singer. Residues and telescopers for bivariate rational functions. Adv. Appl. Math. 49(2):111\u2013133 August 2012.","DOI":"10.1016\/j.aam.2012.04.003"},{"key":"e_1_3_3_1_18_2","unstructured":"Fr\u00e9d\u00e9ric Chyzak. About the non-minimality of the outputs of Zeilberger\u2019s algorithm. Technical Report 00-08 Austrian project SFB F013 Linz Austria April 2000. Bruno Buchberger and Peter Paule Eds. 20 pages."},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","unstructured":"Keith\u00a0O. Geddes Ha\u00a0Q. Le and Ziming Li. Differential rational normal forms and a reduction algorithm for hyperexponential functions. In Proc. ISSAC\u201904 pages 183\u2013190. ACM New York 2004.","DOI":"10.1145\/1005285.1005313"},{"key":"e_1_3_3_1_20_2","unstructured":"Ronald\u00a0L. Graham Donald\u00a0E. Knuth and Oren Patashnik. Concrete Mathematics. Addison-Wesley Publishing Company Reading MA second edition 1994."},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"crossref","unstructured":"Hui Huang. New bounds for hypergeometric creative telescoping. In Proc. ISSAC\u201916 pages 279\u2013286. ACM New York 2016.","DOI":"10.1145\/2930889.2930893"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"crossref","unstructured":"Manuel Kauers. D-Finite Functions. Springer Cham 2023.","DOI":"10.1007\/978-3-031-34652-1"},{"key":"e_1_3_3_1_23_2","unstructured":"Christoph Koutschan. HolonomicFunctions (user\u2019s guide). Technical Report 10-01 RISC Report Series Johannes Kepler University Linz Austria 2010."},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"crossref","unstructured":"Ha\u00a0Q. Le. Simplification of definite sums of rational functions by creative symmetrizing method. In Proc. ISSAC\u201902 pages 161\u2013167. ACM New York 2002.","DOI":"10.1145\/780506.780527"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"crossref","unstructured":"Ha\u00a0Q. Le. A direct algorithm to construct the minimal Z-pairs for rational functions. Adv. Appl. Math. 30(1):137\u2013159 2003.","DOI":"10.1016\/S0196-8858(02)00529-8"},{"key":"e_1_3_3_1_26_2","unstructured":"Laura\u00a0Felicia Matusevich. Rational summation of rational functions. Beitr\u00e4ge Algebra Geom. 41(2):531\u2013536 2000."},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"crossref","unstructured":"Peter Paule. Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type. Electron. J. Combin. 1:Research Paper 10 1994.","DOI":"10.37236\/1190"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"crossref","unstructured":"Peter Paule. Contiguous relations and creative telescoping. In Johannes Bl\u00fcmlein and Carsten Schneider editors Anti-Differentiation and the Calculation of Feynman Amplitudes pages 335\u2013394. Springer International Publishing Cham 2021.","DOI":"10.1007\/978-3-030-80219-6_15"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"crossref","unstructured":"Peter Paule and Axel Riese. A Mathematica q-analogue of Zeilberger\u2019s algorithm based on an algebraically motivated approach to q-hypergeometric telescoping. In Special functions q-series and related topics (Toronto ON 1995) volume\u00a014 of Fields Inst. Commun. pages 179\u2013210. Amer. Math. Soc. Providence RI 1997.","DOI":"10.1090\/fic\/014\/11"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"crossref","unstructured":"Peter Paule and Markus Schorn. A Mathematica version of Zeilberger\u2019s algorithm for proving binomial coefficient identities. J. Symbolic Comput. 20(5):673\u2013698 1995.","DOI":"10.1006\/jsco.1995.1071"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"crossref","unstructured":"Marko Petkov\u0161ek Herbert\u00a0S. Wilf and Doron Zeilberger. A = B. A. K. Peters Ltd. Wellesley MA 1996.","DOI":"10.1201\/9781439864500"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"crossref","unstructured":"Charles Tweedie. Nicole\u2019s contribution to the foundations of the calculus of finite differences. Proc. Edinb. Math. Soc. 36:22\u201339 1917.","DOI":"10.1017\/S0013091500035215"},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"crossref","unstructured":"Mark van Hoeij. Submodule approach to creative telescoping. J. Symbolic Comput. 126:102342 2025.","DOI":"10.1016\/j.jsc.2024.102342"},{"key":"e_1_3_3_1_34_2","doi-asserted-by":"crossref","unstructured":"Doron Zeilberger. A fast algorithm for proving terminating hypergeometric identities. Discrete Math. 80(2):207\u2013211 1990.","DOI":"10.1016\/0012-365X(90)90120-7"},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"crossref","unstructured":"Doron Zeilberger. The method of creative telescoping. J. Symbolic Comput. 11(3):195\u2013204 1991.","DOI":"10.1016\/S0747-7171(08)80044-2"}],"event":{"name":"ISSAC '25: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Guanajuato Mexico","acronym":"ISSAC '25"},"container-title":["Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3747199.3747548","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:38:46Z","timestamp":1762774726000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3747199.3747548"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,28]]},"references-count":34,"alternative-id":["10.1145\/3747199.3747548","10.1145\/3747199"],"URL":"https:\/\/doi.org\/10.1145\/3747199.3747548","relation":{},"subject":[],"published":{"date-parts":[[2025,7,28]]},"assertion":[{"value":"2025-11-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}