{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T17:13:32Z","timestamp":1783617212354,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,7,12]],"date-time":"2026-07-12T00:00:00Z","timestamp":1783814400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"National Key R&D Program of China","award":["2023YFA1009401"],"award-info":[{"award-number":["2023YFA1009401"]}]},{"name":"NSFC grant","award":["12271511"],"award-info":[{"award-number":["12271511"]}]},{"name":"CAS Project for Young Scientists in Basic Research","award":["YSBR-034"],"award-info":[{"award-number":["YSBR-034"]}]},{"name":"Strategic Priority Research Program of the Chinese Academy of Sciences","award":["XDB0510201"],"award-info":[{"award-number":["XDB0510201"]}]},{"name":"Austrian FWF grant","award":["10.55776\/PAT9952223"],"award-info":[{"award-number":["10.55776\/PAT9952223"]}]},{"name":"International Partnership Program of Chinese Academy of Sciences","award":["167GJHZ2023001FN"],"award-info":[{"award-number":["167GJHZ2023001FN"]}]},{"name":"Austrian FWF grant","award":["10.55776\/I6130"],"award-info":[{"award-number":["10.55776\/I6130"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,13]]},"DOI":"10.1145\/3815436.3815462","type":"proceedings-article","created":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T16:11:51Z","timestamp":1783613511000},"page":"96-104","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["On the Summability Problem of Multivariate Rational Functions in the Mixed Case"],"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"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-1166-1062","authenticated-orcid":false,"given":"Lixin","family":"Du","sequence":"additional","affiliation":[{"name":"Institute for Algebra, Johannes Kepler University, Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-2597-0463","authenticated-orcid":false,"given":"Hanqian","family":"Fang","sequence":"additional","affiliation":[{"name":"KLMM, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"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"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,12]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","unstructured":"Sergei\u00a0A. Abramov. 1971. On the summation of rational functions. U. S. S. R. Comput. Math. and Math. Phys. 11 4 (1971) 324\u2013330. 10.1016\/0041-5553(71)90028-0","DOI":"10.1016\/0041-5553(71)90028-0"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"crossref","unstructured":"Sergei\u00a0A. Abramov. 1975. The rational component of the solution of a first order linear recurrence relation with rational right hand side. \u017d. Vy\u010disl. Mat. i Mat. Fiz. 15 4 (1975) 1035\u20131039 1090.","DOI":"10.1016\/0041-5553(75)90181-0"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/220346.220386"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","unstructured":"George\u00a0E. Andrews and Peter Paule. 1993. Some questions concerning computer-generated proofs of a binomial double-sum identity. J. Symbolic Comput. 16 2 (Aug. 1993) 147\u2013151. 10.1006\/jsco.1993.1038","DOI":"10.1006\/jsco.1993.1038"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","unstructured":"Johannes Bl\u00fcmlein Sebastian Klein Carsten Schneider and Flavia Stan. 2012. A symbolic summation approach to Feynman integral calculus. J. Symbolic Comput. 47 10 (2012) 1267\u20131289. 10.1016\/j.jsc.2011.12.044","DOI":"10.1016\/j.jsc.2011.12.044"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","unstructured":"Alin Bostan Pierre Lairez and Bruno Salvy. 2017. Multiple binomial sums. J. Symbolic Comput. 80 (2017) 351\u2013386. 10.1016\/j.jsc.2016.04.002","DOI":"10.1016\/j.jsc.2016.04.002"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","unstructured":"Manuel Bronstein. 1990. Integration of elementary functions. J. Symbolic Comput. 9 2 (1990) 117 \u2013 173. 10.1016\/S0747-7171(08)80027-2","DOI":"10.1016\/S0747-7171(08)80027-2"},{"key":"e_1_3_3_1_9_2","unstructured":"Shaoshi Chen David\u00a0A. Cox and Yisen Wang. 2026. Symbolic integration of differential forms: from Abel to Zeilberger. arxiv:https:\/\/arXiv.org\/abs\/2601.00721\u00a0[math.CA] https:\/\/arxiv.org\/abs\/2601.00721"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","unstructured":"Shaoshi Chen Hao Du Yiman Gao Hui Huang and Ziming Li. 2025. A unified reduction for hypergeometric and q-hypergeometric creative telescoping. Ramanujan J. 68 1 (2025) Paper No. 14 39. 10.1007\/s11139-025-01164-w","DOI":"10.1007\/s11139-025-01164-w"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","unstructured":"Shaoshi Chen Lixin Du and Hanqian Fang. 2025. Symbolic summation of multivariate rational functions. Found. Comput. Math. (24 April 2025). 10.1007\/s10208-025-09710-0","DOI":"10.1007\/s10208-025-09710-0"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","unstructured":"Shaoshi Chen and Manuel Kauers. 2017. Some open problems related to creative telescoping. J. Syst. Sci. Complex. 30 1 (2017) 154\u2013172. 10.1007\/s11424-017-6202-9","DOI":"10.1007\/s11424-017-6202-9"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","unstructured":"Shaoshi Chen and Michael\u00a0F. Singer. 2012. Residues and telescopers for bivariate rational functions. Adv. Appl. Math. 49 2 (Aug. 2012) 111\u2013133. 10.1016\/j.aam.2012.04.003","DOI":"10.1016\/j.aam.2012.04.003"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","unstructured":"Shaoshi Chen and Michael\u00a0F. Singer. 2014. On the summability of bivariate rational functions. J. of Algebra 409 (2014) 320\u2013343. 10.1016\/j.jalgebra.2014.03.023","DOI":"10.1016\/j.jalgebra.2014.03.023"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","unstructured":"William Y.\u00a0C. Chen Qing-Hu Hou and Yan-Ping Mu. 2006. A telescoping method for double summations. J. Comput. Appl. Math. 196 2 (2006) 553\u2013566. 10.1016\/j.cam.2005.10.010","DOI":"10.1016\/j.cam.2005.10.010"},{"key":"e_1_3_3_1_16_2","unstructured":"Sarvadaman Chowla. 1947. On series of the Lambert type which assume irrational values for rational values of the argument. Proc. Nat. Inst. Sci. India 13 (1947) 171\u2013173."},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","unstructured":"Alexandru Dimca. 1991. On the de Rham cohomology of a hypersurface complement. Amer. J. Math. 113 4 (1991) 763\u2013771. 10.2307\/2374846","DOI":"10.2307\/2374846"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43948-7_35"},{"key":"e_1_3_3_1_19_2","unstructured":"Paul Erd\u00f6s. 1948. On arithmetical properties of Lambert series. J. Indian Math. Soc. (N.S.) 12 (1948) 63\u201366."},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"crossref","unstructured":"Ralph\u00a0William Gosper Jr.1978. Decision procedure for indefinite hypergeometric summation. Proc. Nat. Acad. Sci. U.S.A. 75 1 (1978) 40\u201342.","DOI":"10.1073\/pnas.75.1.40"},{"key":"e_1_3_3_1_21_2","volume-title":"Concrete Mathematics (second ed.)","author":"Graham Ronald\u00a0L.","year":"1994","unstructured":"Ronald\u00a0L. Graham, Donald\u00a0E. Knuth, and Oren Patashnik. 1994. Concrete Mathematics (second ed.). Addison-Wesley Publishing Company, Reading, MA. xiv+657 pages. A foundation for computer science."},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","unstructured":"Phillip\u00a0A. Griffiths. 1969. On the periods of certain rational integrals. I II. Ann. of Math. (2) 90 (1969) 460\u2013495; 90 (1969) 496\u2013541. 10.2307\/1970746","DOI":"10.2307\/1970746"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","unstructured":"Charlotte Hardouin and Michael\u00a0F. Singer. 2008. Differential Galois theory of linear difference equations. Math. Ann. 342 2 (2008) 333\u2013377. 10.1007\/s00208-008-0238-z","DOI":"10.1007\/s00208-008-0238-z"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","unstructured":"Qing-Hu Hou and Rong-Hua Wang. 2015. An algorithm for deciding the summability of bivariate rational functions. Adv. in Appl. Math. 64 (2015) 31\u201349. 10.1016\/j.aam.2014.11.002","DOI":"10.1016\/j.aam.2014.11.002"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1090\/mbk\/134"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","unstructured":"Michael Karr. 1981. Summation in finite terms. J. Assoc. Comput. Mach. 28 2 (1981) 305\u2013350. 10.1145\/322248.322255","DOI":"10.1145\/322248.322255"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"crossref","unstructured":"Michael Karr. 1985. Theory of summation in finite terms. J. Symbolic Comput. 1 3 (1985) 303\u2013315.","DOI":"10.1016\/S0747-7171(85)80038-9"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-0445-3"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-6464-7"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","unstructured":"Pierre Lairez. 2016. Computing periods of rational integrals. Math. Comp. 85 300 (2016) 1719\u20131752. 10.1090\/mcom\/3054","DOI":"10.1090\/mcom\/3054"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0041-0"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"publisher","unstructured":"Peter Paule. 1995. Greatest factorial factorization and symbolic summation. J. Symbolic Comput. 20 3 (1995) 235\u2013268. 10.1006\/jsco.1995.1049","DOI":"10.1006\/jsco.1995.1049"},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1201\/9781439864500"},{"key":"e_1_3_3_1_34_2","volume-title":"Th\u00e9orie des Fonctions Alg\u00e9briques de deux Variables Ind\u00e9pendantes","author":"Picard Emile","year":"1897","unstructured":"Emile Picard. 1897. Th\u00e9orie des Fonctions Alg\u00e9briques de deux Variables Ind\u00e9pendantes. Vol.\u00a01. Gauthier-Villars."},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"publisher","unstructured":"Wang Rong-Hua. 2021. An algorithmic approach to the q-summability problem of bivariate rational functions. J. Syst. Sci. Complex. 34 1 Article 107 (2021) 107-121\u00a0pages. 10.1007\/s11424-020-9391-6","DOI":"10.1007\/s11424-020-9391-6"},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"publisher","unstructured":"Mikio Sato. 1990. Theory of prehomogeneous vector spaces (algebraic part)\u2014the English translation of Sato\u2019s lecture from Shintani\u2019s note. Nagoya Math. J. 120 (1990) 1\u201334. Notes by Takuro Shintani Translated from the Japanese by Masakazu Muro. 10.1017\/S0027763000003214","DOI":"10.1017\/S0027763000003214"},{"key":"e_1_3_3_1_37_2","unstructured":"Carsten Schneider. 2001. Symbolic Summation in Difference Fields. Ph.\u00a0D. Dissertation. Johannes Kepler University Linz."},{"key":"e_1_3_3_1_38_2","unstructured":"Carsten Schneider. 2006\/07. Symbolic summation assists combinatorics. S\u00e9m. Lothar. Combin. 56 (2006\/07) Art. B56b 36."},{"key":"e_1_3_3_1_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930945"},{"key":"e_1_3_3_1_40_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-1616-6"},{"key":"e_1_3_3_1_41_2","volume-title":"Modern Computer Algebra (second ed.)","author":"Gathen Joachim von\u00a0zur","year":"2003","unstructured":"Joachim von\u00a0zur Gathen and Gerhard J\u00fcrgen. 2003. Modern Computer Algebra (second ed.). Cambridge University Press, Cambridge. xiv+785 pages."},{"key":"e_1_3_3_1_42_2","doi-asserted-by":"publisher","unstructured":"Doron Zeilberger. 1990. A fast algorithm for proving terminating hypergeometric identities. Discrete Math. 80 2 (1990) 207\u2013211. 10.1016\/0012-365X(90)90120-7","DOI":"10.1016\/0012-365X(90)90120-7"},{"key":"e_1_3_3_1_43_2","doi-asserted-by":"crossref","unstructured":"Doron Zeilberger. 1991. The method of creative telescoping. J. Symbolic Comput. 11 3 (1991) 195\u2013204.","DOI":"10.1016\/S0747-7171(08)80044-2"},{"key":"e_1_3_3_1_44_2","doi-asserted-by":"publisher","unstructured":"Wadim Zudilin. 2005. Approximations to q-logarithms and q-dilogarithms with applications to q-zeta values. Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 322 (2005) 107\u2013124 253\u2013254. 10.1007\/s10958-006-0263-y","DOI":"10.1007\/s10958-006-0263-y"}],"event":{"name":"ISSAC '26: 51st International Symposium on Symbolic and Algebraic Computation","location":"Oldenburg , Germany","acronym":"ISSAC '26"},"container-title":["Proceedings of the 2026 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"deposited":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T16:23:42Z","timestamp":1783614222000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3815436.3815462"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,12]]},"references-count":43,"alternative-id":["10.1145\/3815436.3815462","10.1145\/3815436"],"URL":"https:\/\/doi.org\/10.1145\/3815436.3815462","relation":{},"subject":[],"published":{"date-parts":[[2026,7,12]]},"assertion":[{"value":"2026-07-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}