{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T03:11:32Z","timestamp":1783653092168,"version":"3.55.0"},"reference-count":85,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,4,24]],"date-time":"2025-04-24T00:00:00Z","timestamp":1745452800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,4,24]],"date-time":"2025-04-24T00:00:00Z","timestamp":1745452800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1007\/s10208-025-09710-0","type":"journal-article","created":{"date-parts":[[2025,4,24]],"date-time":"2025-04-24T11:12:38Z","timestamp":1745493158000},"page":"1635-1697","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Symbolic Summation of Multivariate Rational Functions"],"prefix":"10.1007","volume":"26","author":[{"given":"Shaoshi","family":"Chen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lixin","family":"Du","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hanqian","family":"Fang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,4,24]]},"reference":[{"issue":"4","key":"9710_CR1","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1016\/0041-5553(71)90028-0","volume":"11","author":"SA Abramov","year":"1971","unstructured":"S. A. Abramov, On the summation of rational functions, USSR Computational Mathematics and Mathematical Physics, 11(1971), No. 4, pp. 324\u2013330.","journal-title":"USSR Computational Mathematics and Mathematical Physics"},{"issue":"4","key":"9710_CR2","first-page":"1035","volume":"15","author":"SA Abramov","year":"1975","unstructured":"S. A. Abramov, 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(1975), No. 4, pp. 1035\u20131039.","journal-title":"\u017d. Vy\u010disl. Mat. i Mat. Fiz."},{"key":"9710_CR3","doi-asserted-by":"crossref","unstructured":"S. A. Abramov, Indefinite sums of rational functions, In ISSAC\u201995: Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, ACM, New York, 1995, pp. 303\u2013308.","DOI":"10.1145\/220346.220386"},{"key":"9710_CR4","doi-asserted-by":"crossref","unstructured":"S. A. Abramov, Rational solutions of linear difference and $$q$$-difference equations with polynomial coefficients, In ISSAC\u201995: Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, ACM, New York, 1995, pp. 285\u2013289.","DOI":"10.1145\/220346.220383"},{"issue":"3","key":"9710_CR5","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1016\/S0196-8858(02)00504-3","volume":"30","author":"SA Abramov","year":"2003","unstructured":"S. A. Abramov, When does Zeilberger\u2019s algorithm succeed? Adv. in Appl. Math., 30(2003), No. 3, pp. 424\u2013441.","journal-title":"Adv. in Appl. Math."},{"issue":"1\u20133","key":"9710_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0012-365X(02)00442-9","volume":"259","author":"SA Abramov","year":"2002","unstructured":"S. A. Abramov and H. Q. Le, A criterion for the applicability of Zeilberger\u2019s algorithm to rational functions, Discrete Math., 259(2002), No. 1-3, pp. 1\u201317.","journal-title":"Discrete Math."},{"issue":"5","key":"9710_CR7","doi-asserted-by":"publisher","first-page":"5885","DOI":"10.1007\/s10958-005-0449-8","volume":"131","author":"SA Abramov","year":"2005","unstructured":"S. A. Abramov, H. Q. Le, and Z. Li, Univariate Ore polynomial rings in computer algebra, J. of Mathematical Sci., 131(2005), No. 5, pp. 5885\u20135903.","journal-title":"J. of Mathematical Sci."},{"issue":"2","key":"9710_CR8","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1006\/jsco.1993.1038","volume":"16","author":"GE Andrews","year":"1993","unstructured":"G. E. Andrews and P. Paule, Some questions concerning computer-generated proofs of a binomial double-sum identity, J. Symbolic Comput., 16(1993), No. 2, 147\u2013151.","journal-title":"J. Symbolic Comput."},{"key":"9710_CR9","doi-asserted-by":"crossref","unstructured":"C. E. Arreche and H. Sitaula, Computing discrete residues of rational functions, In ISSAC\u201924: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2024, pp. 65\u201373.","DOI":"10.1145\/3666000.3669676"},{"issue":"8","key":"9710_CR10","doi-asserted-by":"publisher","first-page":"3339","DOI":"10.1090\/S0002-9947-05-03699-8","volume":"357","author":"JM Ash","year":"2005","unstructured":"J. M. Ash and S. Catoiu, Telescoping, rational-valued series, and zeta functions, Trans. Amer. Math. Soc., 357(2005), No. 8, pp. 3339\u20133358.","journal-title":"Trans. Amer. Math. Soc."},{"issue":"2","key":"9710_CR11","first-page":"1","volume":"5","author":"J Bern\u0161te\u012dn","year":"1971","unstructured":"J. Bern\u0161te\u012dn, Modules over a ring of differential operators, An investigation of the fundamental solutions of equations with constant coefficients, Funkcional. Anal. i Prilo\u017een., 5(1971), No. 2, pp. 1\u201316.","journal-title":"Funkcional. Anal. i Prilo\u017een."},{"issue":"10","key":"9710_CR12","doi-asserted-by":"publisher","first-page":"1267","DOI":"10.1016\/j.jsc.2011.12.044","volume":"47","author":"J Bl\u00fcmlein","year":"2012","unstructured":"J. Bl\u00fcmlein, S. Klein, C. Schneider, and F. Stan, A symbolic summation approach to Feynman integral calculus, J. Symbolic Comput., 47(2012), No. 10, pp. 1267\u20131289.","journal-title":"J. Symbolic Comput."},{"key":"9710_CR13","doi-asserted-by":"crossref","unstructured":"G. Boole, A Treatise on the Calculus of Finite Differences, Cambridge Library Collection, Cambridge University Press, Cambridge, 2009. Reprint of the 1860 original.","DOI":"10.1017\/CBO9780511693014"},{"key":"9710_CR14","doi-asserted-by":"crossref","unstructured":"A. Bostan, F. Chyzak, B. Salvy, and Z. Li, Fast computation of common left multiples of linear ordinary differential operators, In ISSAC\u201912: Proceedings of the 2012 International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2012, pp. 99\u2013106.","DOI":"10.1145\/2442829.2442847"},{"key":"9710_CR15","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1016\/j.jsc.2016.04.002","volume":"80","author":"A Bostan","year":"2017","unstructured":"A. Bostan, P. Lairez, and B. Salvy, Multiple binomial sums, J. Symbolic Comput., 80(2017), pp. 351\u2013386.","journal-title":"J. Symbolic Comput."},{"key":"9710_CR16","doi-asserted-by":"crossref","unstructured":"M. Bronstein and M. Petkov\u0161ek, An introduction to pseudo-linear algebra, Theoret. Comput. Sci., 157(1996), No. 3\u201333.","DOI":"10.1016\/0304-3975(95)00173-5"},{"key":"9710_CR17","doi-asserted-by":"crossref","unstructured":"P. B\u00fcrgisser, M. Clausen, and M. A. Shokrollahi, Algebraic Complexity Theory, volume 315 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], Springer-Verlag, Berlin, 1997. With the collaboration of Thomas Lickteig.","DOI":"10.1007\/978-3-662-03338-8"},{"key":"9710_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jsc.2014.08.005","volume":"68","author":"S Chen","year":"2015","unstructured":"S. Chen, F. Chyzak, R. Feng, G. Fu, and Z. Li, On the existence of telescopers for mixed hypergeometric terms, J. Symbolic Comput., 68(2015), pp. 1\u201326.","journal-title":"J. Symbolic Comput."},{"key":"9710_CR19","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1016\/j.jsc.2020.08.006","volume":"104","author":"S Chen","year":"2021","unstructured":"S. Chen, L. Du, R. Wang, and C. Zhu, On the existence of telescopers for rational functions in three variables, J. Symbolic Comput., 104(2021), pp. 494\u2013522.","journal-title":"J. Symbolic Comput."},{"key":"9710_CR20","doi-asserted-by":"crossref","unstructured":"S. Chen, L. Du, and C. Zhu, Existence problem of telescopers for rational functions in three variables: The mixed cases, In ISSAC\u201919: Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2019, pp. 82\u201389.","DOI":"10.1145\/3326229.3326231"},{"key":"9710_CR21","doi-asserted-by":"crossref","unstructured":"S. Chen, Q. Hou, H. Huang, G. Labahn, and R. Wang, Constructing minimal telescopers for rational functions in three discrete variables, Adv. in Appl. Math., 141(2022), Paper No. 102389.","DOI":"10.1016\/j.aam.2022.102389"},{"key":"9710_CR22","doi-asserted-by":"crossref","unstructured":"S. Chen, Q. Hou, G. Labahn, and R. Wang, Existence problem of telescopers: beyond the bivariate case, In ISSAC\u201916: Proceedings of the 2016 on International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2016, pp. 167\u2013174.","DOI":"10.1145\/2930889.2930895"},{"key":"9710_CR23","doi-asserted-by":"crossref","unstructured":"S. Chen, H. Huang, M. Kauers, and Z. Li, A modified Abramov\u2013Petkovsek reduction and creative telescoping for hypergeometric terms, In ISSAC\u201915: Proceedings of the 2015 on International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2015, pp. 117-124.","DOI":"10.1145\/2755996.2756648"},{"key":"9710_CR24","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/s11424-017-6202-9","volume":"30","author":"S Chen","year":"2017","unstructured":"S. Chen and M. Kauers, Some open problems related to creative telescoping, J. Syst. Sci. Complex., 30(2017), pp. 154\u2013172.","journal-title":"J. Syst. Sci. Complex."},{"key":"9710_CR25","doi-asserted-by":"crossref","unstructured":"S. Chen, M. Kauers, and M. F. Singer, Telescopers for rational and algebraic functions via residues, In ISSAC\u201912: Proceedings of the 2012 International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2012, pp. 130\u2013137.","DOI":"10.1145\/2442829.2442851"},{"issue":"2","key":"9710_CR26","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.aam.2012.04.003","volume":"49","author":"S Chen","year":"2012","unstructured":"S. Chen and M. F. Singer, Residues and telescopers for bivariate rational functions, Adv. Appl. Math., 49(2012), No. 2, pp. 111\u2013133.","journal-title":"Adv. Appl. Math."},{"key":"9710_CR27","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1016\/j.jalgebra.2014.03.023","volume":"409","author":"S Chen","year":"2014","unstructured":"S. Chen and M. F. Singer, On the summability of bivariate rational functions, J. of Algebra, 409(2014), pp. 320\u2013343.","journal-title":"J. of Algebra"},{"issue":"2","key":"9710_CR28","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.jsc.2004.09.002","volume":"39","author":"WYC Chen","year":"2005","unstructured":"W. Y. C. Chen, Q. Hou, and Y. Mu, Applicability of the $$q$$-analogue of Zeilberger\u2019s algorithm, J. Symbolic Comput., 39(2005), No.2, pp. 155\u2013170.","journal-title":"J. Symbolic Comput."},{"issue":"2","key":"9710_CR29","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1016\/j.cam.2005.10.010","volume":"196","author":"WYC Chen","year":"2006","unstructured":"W. Y. C. Chen, Q. Hou, and Y. Mu, A telescoping method for double summations, J. Comput. Appl. Math., 196(2006), No. 2, pp. 553\u2013566.","journal-title":"J. Comput. Appl. Math."},{"issue":"4","key":"9710_CR30","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1137\/0211057","volume":"11","author":"TWJ Chou","year":"1982","unstructured":"T. W. J. Chou and G. E. Collins, Algorithms for the solution of systems of linear Diophantine equations, SIAM J. Comput., 11(1982), No. 4, pp. 687\u2013708.","journal-title":"SIAM J. Comput."},{"issue":"4","key":"9710_CR31","doi-asserted-by":"publisher","first-page":"763","DOI":"10.2307\/2374846","volume":"113","author":"A Dimca","year":"1991","unstructured":"A. Dimca, On the de Rham cohomology of a hypersurface complement, Amer. J. Math., 113(1991), No. 4, pp. 763\u2013771.","journal-title":"Amer. J. Math."},{"issue":"1","key":"9710_CR32","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1287\/moor.12.1.50","volume":"12","author":"PD Domich","year":"1987","unstructured":"P.\u00a0D. Domich, R.\u00a0Kannan, and L.\u00a0E. Trotter, Jr. Hermite normal form computation using modulo determinant arithmetic, Math. Oper. Res., 12(1987), No. 1, pp. 50\u201359.","journal-title":"Math. Oper. Res."},{"key":"9710_CR33","doi-asserted-by":"crossref","unstructured":"L. Du, On the existence of telescopers for P-recursive sequences, J. Symbolic Comput., 130(2025), Paper No. 102423.","DOI":"10.1016\/j.jsc.2025.102423"},{"key":"9710_CR34","doi-asserted-by":"crossref","unstructured":"Z. Dvir, R. Oliveira, and A. Shpilka, Testing equivalence of polynomials under shifts, In Automata, Languages, and Programming. Part I, volume 8572 of Lecture Notes in Comput. Sci., pp. 417\u2013428, Springer, 2014.","DOI":"10.1007\/978-3-662-43948-7_35"},{"key":"9710_CR35","doi-asserted-by":"crossref","unstructured":"Z. Dvir, R. Oliveira, and A. Shpilka, Testing equivalence of polynomials under shifts, Electron. Colloquium Comput. Complex, 21(2014), Report No. 3.","DOI":"10.1007\/978-3-662-43948-7_35"},{"key":"9710_CR36","doi-asserted-by":"crossref","unstructured":"J. Gerhard, M. Giesbrecht, A. Storjohann, and E.\u00a0V. Zima, Shiftless decomposition and polynomial-time rational summation, In ISSAC\u201903: Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2003, pp. 119\u2013126.","DOI":"10.1145\/860854.860887"},{"issue":"1","key":"9710_CR37","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1073\/pnas.75.1.40","volume":"75","author":"RW Gosper Jr.","year":"1978","unstructured":"R.\u00a0W. Gosper, Jr. Decision procedure for indefinite hypergeometric summation, Proc. Nat. Acad. Sci. U.S.A., 75(1978), No. 1, pp. 40\u201342.","journal-title":"Proc. Nat. Acad. Sci. U.S.A."},{"key":"9710_CR38","unstructured":"R.\u00a0L. Graham, D.\u00a0E. Knuth, and O. Patashnik, Concrete Mathematics, Addison-Wesley Publishing Company, Reading, MA, second edition, 1994. A foundation for computer science."},{"issue":"3","key":"9710_CR39","doi-asserted-by":"publisher","first-page":"460","DOI":"10.2307\/1970746","volume":"90","author":"PA Griffiths","year":"1969","unstructured":"P.\u00a0A. Griffiths, On the periods of certain rational integrals: I, Ann. of Math., 90(1969), No. 3, pp. 460\u2013495.","journal-title":"Ann. of Math."},{"issue":"3","key":"9710_CR40","doi-asserted-by":"publisher","first-page":"496","DOI":"10.2307\/1970747","volume":"90","author":"PA Griffiths","year":"1969","unstructured":"P.\u00a0A. Griffiths, On the periods of certain rational integrals: II, Ann. of Math., 90(1969), No. 3, pp. 496\u2013541.","journal-title":"Ann. of Math."},{"key":"9710_CR41","doi-asserted-by":"crossref","unstructured":"D. Grigoriev, Testing shift-equivalence of polynomials using quantum machines, In ISSAC\u201996: Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ACM, New York, 1996, pp. 49\u201354.","DOI":"10.1145\/236869.236897"},{"issue":"1\u20132","key":"9710_CR42","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/S0304-3975(96)00188-0","volume":"180","author":"D Grigoriev","year":"1997","unstructured":"D. Grigoriev, Testing shift-equivalence of polynomials by deterministic, probabilistic and quantum machines. Theoret. Comput. Sci., 180(1997), No. 1-2, pp. 217\u2013228.","journal-title":"Theoret. Comput. Sci."},{"issue":"4","key":"9710_CR43","doi-asserted-by":"publisher","first-page":"837","DOI":"10.1090\/S0894-0347-1989-1002631-0","volume":"2","author":"JL Hafner","year":"1989","unstructured":"J.\u00a0L. Hafner and K.\u00a0S. McCurley, A rigorous subexponential algorithm for computation of class groups, J. Amer. Math. Soc., 2(1989), No. 4, pp. 837\u2013850.","journal-title":"J. Amer. Math. Soc."},{"issue":"6","key":"9710_CR44","doi-asserted-by":"publisher","first-page":"1068","DOI":"10.1137\/0220067","volume":"20","author":"JL Hafner","year":"1991","unstructured":"J.\u00a0L. Hafner and K.\u00a0S. McCurley, Asymptotically fast triangularization of matrices over rings, SIAM Journal on Computing, 20(1991), No. 6, pp. 1068\u20131083.","journal-title":"SIAM Journal on Computing"},{"issue":"2","key":"9710_CR45","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00208-008-0238-z","volume":"342","author":"C Hardouin","year":"2008","unstructured":"C. Hardouin and M.\u00a0F. Singer, Differential Galois theory of linear difference equations, Math. Ann., 342(2008), No. 2, pp. 333\u2013377.","journal-title":"Math. Ann."},{"key":"9710_CR46","doi-asserted-by":"publisher","first-page":"215","DOI":"10.24033\/asens.82","volume":"1","author":"C Hermite","year":"1872","unstructured":"C. Hermite, Sur l\u2019int\u00e9gration des fractions rationnelles, Ann. Sci. \u00c9cole Norm. Sup., 1(1872), pp. 215\u2013218.","journal-title":"Ann. Sci. \u00c9cole Norm. Sup."},{"key":"9710_CR47","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.aam.2014.11.002","volume":"64","author":"Q Hou","year":"2015","unstructured":"Q. Hou and R. Wang, An algorithm for deciding the summability of bivariate rational functions, Adv. in Appl. Math., 64(2015), pp. 31\u201349.","journal-title":"Adv. in Appl. Math."},{"issue":"4","key":"9710_CR48","doi-asserted-by":"publisher","first-page":"658","DOI":"10.1137\/0218045","volume":"18","author":"CS Iliopoulos","year":"1989","unstructured":"C.\u00a0S. Iliopoulos, Worst-case complexity bounds on algorithms for computing the canonical structure of finite abelian groups and the Hermite and Smith normal forms of an integer matrix, SIAM J. Comput., 18(1989), No. 4, pp. 658\u2013669.","journal-title":"SIAM J. Comput."},{"key":"9710_CR49","unstructured":"C. Jordan, Calculus of Finite Differences, Chelsea Publishing Co., New York, third edition, 1965. Introduction by Harry C. Carver."},{"issue":"4","key":"9710_CR50","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1137\/0208040","volume":"8","author":"R Kannan","year":"1979","unstructured":"R. Kannan and A. Bachem, Polynomial algorithms for computing the Smith and Hermite normal forms of an integer matrix, SIAM J. Comput., 8(1979), No. 4, pp. 499\u2013507.","journal-title":"SIAM J. Comput."},{"issue":"2","key":"9710_CR51","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1145\/322248.322255","volume":"28","author":"M Karr","year":"1981","unstructured":"M. Karr, Summation in finite terms, J. Assoc. Comput. Mach., 28(1981), No. 2, pp. 305\u2013350.","journal-title":"J. Assoc. Comput. Mach."},{"issue":"3","key":"9710_CR52","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/S0747-7171(85)80038-9","volume":"1","author":"M Karr","year":"1985","unstructured":"M. Karr, Theory of summation in finite terms, J. Symbolic Comput., 1(1985), No. 3, pp. 303\u2013315.","journal-title":"J. Symbolic Comput."},{"key":"9710_CR53","doi-asserted-by":"crossref","unstructured":"M. Kauers and P. Paule, The Concrete Tetrahedron: Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates, Texts and Monographs in Symbolic Computation, SpringerWienNewYork, Vienna, 2011.","DOI":"10.1007\/978-3-7091-0445-3"},{"key":"9710_CR54","doi-asserted-by":"crossref","unstructured":"M. Kauers and C. Schneider, Partial denominator bounds for partial linear difference equations, In ISSAC\u201910: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2010, pp. 211-218.","DOI":"10.1145\/1837934.1837976"},{"key":"9710_CR55","doi-asserted-by":"crossref","unstructured":"W. Koepf, Hypergeometric Summation: An Algorithmic Approach to Summation and Special Function Identities, Universitext, Springer, London, second edition, 2014.","DOI":"10.1007\/978-1-4471-6464-7"},{"key":"9710_CR56","unstructured":"C. Koutschan, HolonomicFunctions (User\u2019s Guide), Technical report, Technical Report 10-01, RISC Report Series, University of Linz, Austria, 2010."},{"issue":"300","key":"9710_CR57","doi-asserted-by":"publisher","first-page":"1719","DOI":"10.1090\/mcom\/3054","volume":"85","author":"P Lairez","year":"2016","unstructured":"P. Lairez, Computing periods of rational integrals, Math. Comp., 85(2016), No. 300, pp. 1719\u20131752.","journal-title":"Math. Comp."},{"issue":"3","key":"9710_CR58","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1137\/0216040","volume":"16","author":"AK Lenstra","year":"1987","unstructured":"A.\u00a0K. Lenstra, Factoring multivariate polynomials over algebraic number fields, SIAM J. Comput., 16(1987), No. 3, pp. 591\u2013598.","journal-title":"SIAM J. Comput."},{"key":"9710_CR59","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1112\/jlms\/s1-37.1.341","volume":"37","author":"K Mahler","year":"1962","unstructured":"K.\u00a0Mahler, On some inequalities for polynomials in several variables, J. London Math. Soc., 37(1962), pp. 341\u2013344.","journal-title":"J. London Math. Soc."},{"issue":"4","key":"9710_CR60","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/s10208-007-9015-8","volume":"8","author":"EL Mansfield","year":"2008","unstructured":"E.\u00a0L. Mansfield and P.\u00a0E. Hydon, Difference forms, Found. Comput. Math., 8(2008), No. 4, pp. 427\u2013467.","journal-title":"Found. Comput. Math."},{"key":"9710_CR61","first-page":"531","volume":"41","author":"LF Matusevich","year":"2000","unstructured":"L.\u00a0F. Matusevich, Rational summation of rational functions, Beitr\u00e4ge zur Algebra und Geometrie, 41(2000), pp. 531\u2013536.","journal-title":"Beitr\u00e4ge zur Algebra und Geometrie"},{"key":"9710_CR62","unstructured":"M.\u00a0V. Ostrogradski\u012d, De l\u2019int\u00e9gration des fractions rationnelles, Bull. de la classe physico-math\u00e9matique de l\u2019Acad, Imp\u00e9riale des Sciences de Saint-P\u00e9tersbourg, 4(1845), pp. 145\u2013167 and pp. 286\u2013300."},{"issue":"3","key":"9710_CR63","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1006\/jsco.1994.1042","volume":"18","author":"VY Pan","year":"1994","unstructured":"V.\u00a0Y Pan, Simple multivariate polynomial multiplication, J. Symbolic Comput., 18(1994), No. 3, pp. 183\u2013186.","journal-title":"J. Symbolic Comput."},{"issue":"3","key":"9710_CR64","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1006\/jsco.1995.1049","volume":"20","author":"P Paule","year":"1995","unstructured":"P. Paule, Greatest factorial factorization and symbolic summation, J. Symbolic Comput., 20(1995), No. 3, pp. 235\u2013268.","journal-title":"J. Symbolic Comput."},{"key":"9710_CR65","unstructured":"M. Petkov\u0161ek, H.\u00a0S. Wilf, and D. Zeilberger, $$A=B$$, A. K. Peters Ltd., Wellesley, MA, 1996."},{"key":"9710_CR66","first-page":"539","volume":"129","author":"\u00c9 Picard","year":"1899","unstructured":"\u00c9.\u00a0Picard, Quelques remarques sur les int\u00e9grales doubles de seconde esp\u00e8ce dans la th\u00e9orie des surfaces alg\u00e9briques, CR Acad. Sci. Paris, 129(1899), pp. 539\u2013540.","journal-title":"CR Acad. Sci. Paris"},{"key":"9710_CR67","volume-title":"Th\u00e9orie des Fonctions Alg\u00e9briques de Deux Variables Ind\u00e9pendantes","author":"\u00c9 Picard","year":"1897","unstructured":"\u00c9.\u00a0Picard, Th\u00e9orie des Fonctions Alg\u00e9briques de Deux Variables Ind\u00e9pendantes, Volume\u00a01, Gauthier-Villars, 1897."},{"key":"9710_CR68","doi-asserted-by":"publisher","first-page":"393","DOI":"10.24033\/asens.834","volume":"50","author":"\u00c9 Picard","year":"1933","unstructured":"\u00c9.\u00a0 Picard, Sur les p\u00e9riodes des int\u00e9grales doubles et sur une classe d\u2019\u00e9quations diff\u00e9rentielles lin\u00e9aires, In Annales scientifiques de l\u2019\u00c9cole Normale Sup\u00e9rieure, 50(1933), pp. 393\u2013395.","journal-title":"In Annales scientifiques de l\u2019\u00c9cole Normale Sup\u00e9rieure"},{"issue":"5\u20136","key":"9710_CR69","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1006\/jsco.1995.1068","volume":"20","author":"R Pirastu","year":"1995","unstructured":"R. Pirastu and V. Strehl, Rational summation and Gosper-Petkov\u0161ek representation, J. Symbolic Comput., 20(1995), No. 5-6, pp. 617\u2013635.","journal-title":"J. Symbolic Comput."},{"key":"9710_CR70","doi-asserted-by":"crossref","unstructured":"M. Sato, Theory of prehomogeneous vector spaces (algebraic part)\u2014the English translation of Sato\u2019s lecture from Shintani\u2019s note, Nagoya Math. J., 120(1990), No. 1\u201334. Notes by Takuro Shintani, Translated from the Japanese by Masakazu Muro.","DOI":"10.1017\/S0027763000003214"},{"key":"9710_CR71","unstructured":"C. Schneider, Symbolic Summation in Difference Fields, PhD thesis, Johannes Kepler University Linz, 2001."},{"key":"9710_CR72","unstructured":"C. Schneider, Symbolic summation assists combinatorics, S\u00e9m. Lothar. Combin., 56(2007), Article B56b."},{"issue":"4","key":"9710_CR73","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/s00026-011-0076-7","volume":"14","author":"C Schneider","year":"2010","unstructured":"C. Schneider, Parameterized telescoping proves algebraic independence of sums, Ann. Comb., 14(2010), No. 4, pp. 533\u2013552.","journal-title":"Ann. Comb."},{"key":"9710_CR74","doi-asserted-by":"crossref","unstructured":"C. Schneider and J. Bl\u00fcmlein, Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Springer, 2013.","DOI":"10.1007\/978-3-7091-1616-6"},{"key":"9710_CR75","unstructured":"A. Storjohann, Algorithms for Matrix Canonical Forms, PhD thesis, Swiss Federal Institute of Technology, ETH-Zurich, 2000."},{"key":"9710_CR76","doi-asserted-by":"crossref","unstructured":"A. Storjohann and G. Labahn, Asymptotically fast computation of hermite normal forms of integer matrices, In ISSAC\u201996: Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ACM, New York, 1996, pp. 259-266.","DOI":"10.1145\/236869.237083"},{"issue":"1","key":"9710_CR77","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s00200-012-0179-3","volume":"24","author":"J van der Hoeven","year":"2013","unstructured":"J. van der\u00a0Hoeven and \u00c9. Schost, Multi-point evaluation in higher dimensions, AAECC, 24(2013), No. 1, pp. 37\u201352.","journal-title":"AAECC"},{"key":"9710_CR78","unstructured":"J. von\u00a0zur Gathen and G. J\u00fcrgen, Modern Computer Algebra, Cambridge University Press, Cambridge, second edition, 2003."},{"key":"9710_CR79","unstructured":"K. Wegschaider, Computer Generated Proofs of Binomial Multi-Sum Identities, Master\u2019s thesis, J. Kepler University, 1997."},{"issue":"1","key":"9710_CR80","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1090\/S0894-0347-1990-1007910-7","volume":"3","author":"HS Wilf","year":"1990","unstructured":"H.\u00a0S. Wilf and D. Zeilberger, Rational functions certify combinatorial identities, J. Amer. Math. Soc., 3(1990), No 1., pp. 147\u2013158.","journal-title":"J. Amer. Math. Soc."},{"issue":"3","key":"9710_CR81","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/BF02100618","volume":"108","author":"HS Wilf","year":"1992","unstructured":"H.\u00a0S. Wilf and D. Zeilberger, An algorithmic proof theory for hypergeometric (ordinary and \u201c$$q$$\u201d) multisum\/integral identities, Invent. Math., 108(1992), No. 3, pp. 575\u2013633.","journal-title":"Invent. Math."},{"key":"9710_CR82","doi-asserted-by":"crossref","unstructured":"D. Zeilberger, A holonomic systems approach to special functions identities, J. Comput. Appl. Math., 32(1990), No. 321\u2013368.","DOI":"10.1016\/0377-0427(90)90042-X"},{"issue":"3","key":"9710_CR83","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/S0747-7171(08)80044-2","volume":"11","author":"D Zeilberger","year":"1991","unstructured":"D. Zeilberger, The method of creative telescoping, J. Symbolic Comput., 11(1991), No. 3, pp. 195\u2013204.","journal-title":"J. Symbolic Comput."},{"key":"9710_CR84","doi-asserted-by":"crossref","unstructured":"D. Zeilberger, Closed form (pun intended!), In A Tribute to Emil Grosswald: Number Theory and Related Analysis, volume 143 of Contemp. Math., pp. 579\u2013607, Amer. Math. Soc., Providence, RI, 1993.","DOI":"10.1090\/conm\/143\/01023"},{"key":"9710_CR85","unstructured":"B. Zimmermann, Difference Forms and Hypergeometric Sums, Master thesis, Johannes Kepler University Linz, 2000."}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-025-09710-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10208-025-09710-0","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-025-09710-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T17:02:00Z","timestamp":1780333320000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10208-025-09710-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,24]]},"references-count":85,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2026,6]]}},"alternative-id":["9710"],"URL":"https:\/\/doi.org\/10.1007\/s10208-025-09710-0","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,4,24]]},"assertion":[{"value":"28 August 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 February 2025","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 February 2025","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 April 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}