{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T13:55:55Z","timestamp":1762782955506,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,24]],"date-time":"2023-07-24T00:00:00Z","timestamp":1690156800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,24]]},"DOI":"10.1145\/3597066.3597073","type":"proceedings-article","created":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T18:15:27Z","timestamp":1688580927000},"page":"498-507","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Refined telescoping algorithms in R\u03a0\u03a3 -extensions to reduce the degrees of the denominators\u2731"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5703-4530","authenticated-orcid":false,"given":"Carsten","family":"Schneider","sequence":"first","affiliation":[{"name":"RISC, Johannes Kepler University Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,7,24]]},"reference":[{"issue":"112301","key":"e_1_3_2_1_1_1","first-page":"1","article-title":"Iterated binomial sums and their associated iterated integrals","volume":"55","author":"Ablinger J.","year":"2014","unstructured":"[1] J.\u00a0Ablinger, J.\u00a0Bl\u00fcmlein, C.\u00a0G. Raab, and C.\u00a0Schneider. Iterated binomial sums and their associated iterated integrals. J. Math. Phys., 55(112301):1\u201357, 2014. arXiv:1407.1822.","journal-title":"J. Math. Phys."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.3629472"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.4811117"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00026-018-0381-5"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0041-5553(75)90181-0"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0196-8858(02)00504-3"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2021.01.002"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0012-365X(97)00106-4"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2010.03.001"},{"key":"e_1_3_2_1_10_1","volume-title":"Multibasic and mixed hypergeometric Gosper-type algorithms. J.\u00a0Symbolic Comput., 28(4\u20135):711\u2013736","author":"Bauer M.","year":"1999","unstructured":"[10] A.\u00a0Bauer and M.\u00a0Petkov\u0161ek. Multibasic and mixed hypergeometric Gosper-type algorithms. J.\u00a0Symbolic Comput., 28(4\u20135):711\u2013736, 1999."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2003.12.004"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2009.06.020"},{"key":"e_1_3_2_1_13_1","first-page":"D60","article-title":"Harmonic sums and Mellin transforms up to two-loop order","author":"Bl\u00fcmlein S.","year":"1999","unstructured":"[13] J.\u00a0Bl\u00fcmlein and S.\u00a0Kurth. Harmonic sums and Mellin transforms up to two-loop order. Phys. Rev., D60, 1999.","journal-title":"Phys. Rev."},{"key":"e_1_3_2_1_14_1","first-page":"2208","article-title":"The massless three-loop Wilson coefficients for the deep-inelastic structure functions F2, FL, xF3 and g1","volume":"1","author":"Bl\u00fcmlein P.","year":"2022","unstructured":"[14] J.\u00a0Bl\u00fcmlein, P.\u00a0Marquard, C.\u00a0Schneider, and K.\u00a0Sch\u00f6nwald. The massless three-loop Wilson coefficients for the deep-inelastic structure functions F2, FL, xF3 and g1. Journal of High Energy Physics, (156):1\u201383, 2022. arXiv:2208.14325 [hep-ph].","journal-title":"Journal of High Energy Physics, (156)"},{"issue":"193","key":"e_1_3_2_1_15_1","first-page":"0","article-title":"The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements","volume":"2022","author":"Bl\u00fcmlein P.","year":"2022","unstructured":"[15] J.\u00a0Bl\u00fcmlein, P.\u00a0Marquard, C.\u00a0Schneider, and K.\u00a0Sch\u00f6nwald. The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements. Journal of High Energy Physics, 2022(193):0\u201332, 2022. arXiv:2111.12401 [hep-ph].","journal-title":"Journal of High Energy Physics"},{"key":"e_1_3_2_1_16_1","volume-title":"Special issue on \" Symbolic Computation in Software Science\", in press","author":"Bl\u00fcmlein C.","year":"2023","unstructured":"[16] J.\u00a0Bl\u00fcmlein, C.\u00a0Schneider, and M.\u00a0Saragnese. Hypergeometric Structures in Feynman Integrals. Annals of Mathematics and Artificial Intelligence, Special issue on \" Symbolic Computation in Software Science\", in press, 2023. arXiv:2111.15501 [math-ph]."},{"key":"e_1_3_2_1_17_1","volume-title":"On solutions of linear ordinary difference equations in their coefficient field. J.\u00a0Symbolic Comput., 29(6):841\u2013877","author":"Bronstein","year":"2000","unstructured":"[17] M.\u00a0Bronstein. On solutions of linear ordinary difference equations in their coefficient field. J.\u00a0Symbolic Comput., 29(6):841\u2013877, 2000."},{"key":"e_1_3_2_1_18_1","volume-title":"On the existence of telescopers for mixed hypergeometric terms. J. Symbolic Comput., 68(part 1):1\u201326","author":"Chen F.","year":"2015","unstructured":"[18] S.\u00a0Chen, F.\u00a0Chyzak, R.\u00a0Feng, G.\u00a0Fu, and Z.\u00a0Li. On the existence of telescopers for mixed hypergeometric terms. J. Symbolic Comput., 68(part 1):1\u201326, 2015."},{"key":"e_1_3_2_1_19_1","first-page":"142","volume-title":"Proc. ISSAC\u201918","author":"Chen H.","unstructured":"[19] S.\u00a0Chen, H.\u00a0Du, and Z.\u00a0Li. Additive decompositions in primitive extensions. In Proc. ISSAC\u201918, pages 135\u2013142. ACM, 2018."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993886.1993905"},{"key":"e_1_3_2_1_21_1","first-page":"124","volume-title":"Proc. ISSAC\u201915","author":"Chen H.","unstructured":"[21] S.\u00a0Chen, H.\u00a0Huang, M.\u00a0Kauers, and Z.\u00a0Li. A modified Abramov-Petkovsek reduction and creative telescoping for hypergeometric terms. In Proc. ISSAC\u201915, pages 117\u2013124. ACM, 2015."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465506.2465510"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442829.2442850"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.09.002"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0012-365X(99)00259-9"},{"key":"e_1_3_2_1_26_1","first-page":"153","volume-title":"Proc. ISSAC\u201920","author":"Du J.","unstructured":"[26] H.\u00a0Du, J.\u00a0Guo, Z.\u00a0Li, and E.\u00a0Wong. An additive decomposition in logarithmic towers and beyond. In Proc. ISSAC\u201920, pages 146\u2013153. ACM, 2020."},{"key":"e_1_3_2_1_27_1","unstructured":"[27] G.\u00a0Ge. Algorithms related to the multiplicative representation of algebraic numbers. PhD thesis Univeristy of California at Berkeley 1993."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.75.1.40"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00208-008-0238-z"},{"key":"e_1_3_2_1_30_1","volume-title":"Solving difference equations in finite terms. J.\u00a0Symbolic Comput., 27(3):239\u2013259","author":"Hendriks M.","year":"1999","unstructured":"[30] P.\u00a0A. Hendriks and M.\u00a0F. Singer. Solving difference equations in finite terms. J.\u00a0Symbolic Comput., 27(3):239\u2013259, 1999."},{"key":"e_1_3_2_1_31_1","volume-title":"Summation in finite terms. J.\u00a0ACM, 28:305\u2013350","author":"Karr","year":"1981","unstructured":"[31] M.\u00a0Karr. Summation in finite terms. J.\u00a0ACM, 28:305\u2013350, 1981."},{"key":"e_1_3_2_1_32_1","volume-title":"Theory of summation in finite terms. J.\u00a0Symbolic Comput., 1:303\u2013315","author":"Karr","year":"1985","unstructured":"[32] M.\u00a0Karr. Theory of summation in finite terms. J.\u00a0Symbolic Comput., 1:303\u2013315, 1985."},{"key":"e_1_3_2_1_33_1","first-page":"183","volume-title":"Proc. ISSAC\u201906","author":"Kauers C.","unstructured":"[33] M.\u00a0Kauers and C.\u00a0Schneider. Application of unspecified sequences in symbolic summation. In Proc. ISSAC\u201906., pages 177\u2013183. ACM, 2006."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.disc.2006.04.005"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1277548.1277579"},{"key":"e_1_3_2_1_36_1","first-page":"194","volume-title":"Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts and Monographs in Symbolic Computation","author":"Koutschan","unstructured":"[36] C.\u00a0Koutschan. Creative telescoping for holonomic functions. In Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts and Monographs in Symbolic Computation, pages 171\u2013194. Springer, 2013. arXiv:1307.4554."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2023.03.002"},{"key":"e_1_3_2_1_38_1","series-title":"Springer Proceedings in Mathematics & Statistics","first-page":"213","volume-title":"Advances in Computer Algebra. WWCA","author":"Ocansey C.","year":"2016","unstructured":"[38] E.\u00a0D. Ocansey and C.\u00a0Schneider. Representing (q-)hypergeometric products and mixed versions in difference rings. In Advances in Computer Algebra. WWCA 2016., volume 226 of Springer Proceedings in Mathematics & Statistics, pages 175\u2013213. Springer, 2018. arXiv:1705.01368."},{"key":"e_1_3_2_1_39_1","volume-title":"Greatest factorial factorization and symbolic summation. J.\u00a0Symbolic Comput., 20(3):235\u2013268","author":"Paule","year":"1995","unstructured":"[39] P.\u00a0Paule. Greatest factorial factorization and symbolic summation. J.\u00a0Symbolic Comput., 20(3):235\u2013268, 1995."},{"key":"e_1_3_2_1_40_1","first-page":"210","volume-title":"Special Functions, q-Series and Related Topics, volume\u00a014","author":"Paule A.","unstructured":"[40] P.\u00a0Paule and A.\u00a0Riese. 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, volume\u00a014, pages 179\u2013210. AMS, 1997."},{"key":"e_1_3_2_1_41_1","volume-title":"Hypergeometric solutions of linear recurrences with polynomial coefficients. J.\u00a0Symbolic Comput., 14(2-3):243\u2013264","author":"Petkov\u0161ek","year":"1992","unstructured":"[41] M.\u00a0Petkov\u0161ek. Hypergeometric solutions of linear recurrences with polynomial coefficients. J.\u00a0Symbolic Comput., 14(2-3):243\u2013264, 1992."},{"key":"e_1_3_2_1_42_1","first-page":"284","volume-title":"Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts and Monographs in Symbolic Computation","author":"Petkov\u0161ek H.","unstructured":"[42] M.\u00a0Petkov\u0161ek and H.\u00a0Zakraj\u0161ek. Solving linear recurrence equations with polynomial coefficients. In Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts and Monographs in Symbolic Computation, pages 259\u2013284. Springer, 2013."},{"issue":"1","key":"e_1_3_2_1_43_1","first-page":"109","article-title":"Finite singularities and hypergeometric solutions of linear recurrence equations. J.\u00a0Pure Appl","volume":"139","author":"\u00a0van Hoeij","year":"1999","unstructured":"[43] M.\u00a0van Hoeij. Finite singularities and hypergeometric solutions of linear recurrence equations. J.\u00a0Pure Appl. Algebra, 139(1-3):109\u2013131, 1999.","journal-title":"Algebra"},{"key":"e_1_3_2_1_44_1","unstructured":"[44] C.\u00a0Schneider. Symbolic summation in difference fields. Technical Report 01-17 RISC-Linz J.\u00a0Kepler University November 2001. PhD Thesis."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00026-005-0242-2"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0219498807002302"},{"key":"e_1_3_2_1_47_1","first-page":"1","article-title":"Symbolic summation assists combinatorics. S\u00e9m.\u00a0Lothar","volume":"56","author":"Schneider","year":"2007","unstructured":"[47] C.\u00a0Schneider. Symbolic summation assists combinatorics. S\u00e9m.\u00a0Lothar. Combin., 56:1\u201336, 2007. Article B56b.","journal-title":"Combin."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.01.001"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00026-011-0076-7"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-009-0115-3"},{"key":"e_1_3_2_1_51_1","volume-title":"Amer. Math. Soc","author":"Schneider","year":"2010","unstructured":"[51] C.\u00a0Schneider. A symbolic summation approach to find optimal nested sum representations. In Motives, Quantum Field Theory, and Pseudodifferential Operators, volume\u00a012 of Clay Mathematics Proceedings, pages 285\u2013308. Amer. Math. Soc, 2010. arXiv:0808.2543."},{"key":"e_1_3_2_1_52_1","first-page":"33","volume-title":"Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014 15th International Symposium","author":"Schneider","unstructured":"[52] C.\u00a0Schneider. A streamlined difference ring theory: Indefinite nested sums, the alternating sign and the parameterized telescoping problem. In Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014 15th International Symposium, pages 26\u201333. IEEE Computer Society, 2014. arXiv:1412.2782."},{"key":"e_1_3_2_1_53_1","volume-title":"Springer","author":"Schneider","year":"2015","unstructured":"[53] C.\u00a0Schneider. Fast algorithms for refined parameterized telescoping in difference fields. In Computer Algebra and Polynomials, number 8942 in Lecture Notes in Computer Science (LNCS), pages 157\u2013191. Springer, 2015. arXiv:1307.7887."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2015.02.002"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2016.07.028"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1134\/S0361768820020103"},{"key":"e_1_3_2_1_57_1","first-page":"485","volume-title":"Anti-Differentiation and the Calculation of Feynman Amplitudes, Texts and Monographs in Symbolic Computuation","author":"Schneider","unstructured":"[57] C.\u00a0Schneider. Term algebras, canonical representations and difference ring theory for symbolic summation. In Anti-Differentiation and the Calculation of Feynman Amplitudes, Texts and Monographs in Symbolic Computuation, pages 423\u2013485. Springer, 2021. arXiv:2102.01471 [cs.SC], RISC-Linz Report Series No. 21-03."},{"key":"e_1_3_2_1_58_1","first-page":"2037","article-title":"Harmonic sums, Mellin transforms and integrals. Int. J.\u00a0Mod","volume":"14","author":"Vermaseren","year":"1999","unstructured":"[58] J.\u00a0A.\u00a0M. Vermaseren. Harmonic sums, Mellin transforms and integrals. Int. J.\u00a0Mod. Phys., A14:2037\u20132976, 1999.","journal-title":"Phys."},{"key":"e_1_3_2_1_59_1","first-page":"321","article-title":"A holonomic systems approach to special functions identities. J.\u00a0Comput","volume":"32","author":"Zeilberger","year":"1990","unstructured":"[59] D.\u00a0Zeilberger. A holonomic systems approach to special functions identities. J.\u00a0Comput. Appl. Math., 32:321\u2013368, 1990.","journal-title":"Appl. Math."},{"key":"e_1_3_2_1_60_1","volume-title":"The method of creative telescoping. J.\u00a0Symbolic Comput., 11:195\u2013204","author":"Zeilberger","year":"1991","unstructured":"[60] D.\u00a0Zeilberger. The method of creative telescoping. J.\u00a0Symbolic Comput., 11:195\u2013204, 1991."}],"event":{"name":"ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023","acronym":"ISSAC 2023","location":"Troms\u00f8 Norway"},"container-title":["Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597066.3597073","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597066.3597073","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T09:34:42Z","timestamp":1755855282000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597066.3597073"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,24]]},"references-count":60,"alternative-id":["10.1145\/3597066.3597073","10.1145\/3597066"],"URL":"https:\/\/doi.org\/10.1145\/3597066.3597073","relation":{},"subject":[],"published":{"date-parts":[[2023,7,24]]},"assertion":[{"value":"2023-07-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}