{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T09:31:46Z","timestamp":1768728706464,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T00:00:00Z","timestamp":1721088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"FWF","award":["PAT 9952223 and I6130-N"],"award-info":[{"award-number":["PAT 9952223 and I6130-N"]}]},{"DOI":"10.13039\/501100006374","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2023YFA1009401 and 2020YFA0712300"],"award-info":[{"award-number":["2023YFA1009401 and 2020YFA0712300"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"name":"CAS Fund","award":["YSBR-034 and Y2022001"],"award-info":[{"award-number":["YSBR-034 and Y2022001"]}]},{"name":"NSFC","award":["12271511"],"award-info":[{"award-number":["12271511"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,16]]},"DOI":"10.1145\/3666000.3669678","type":"proceedings-article","created":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T13:18:51Z","timestamp":1721049531000},"page":"82-90","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Parallel Summation in P-Recursive Extensions"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8756-3006","authenticated-orcid":false,"given":"Shaoshi","family":"Chen","sequence":"first","affiliation":[{"name":"KLMM, AMSS, Chinese Academy of Sciences, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6508-8486","authenticated-orcid":false,"given":"Ruyong","family":"Feng","sequence":"additional","affiliation":[{"name":"KLMM, AMSS, Chinese Academy of Sciences, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8641-6661","authenticated-orcid":false,"given":"Manuel","family":"Kauers","sequence":"additional","affiliation":[{"name":"Institute for Algebra, Johannes Kepler University, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-9533-3439","authenticated-orcid":false,"given":"Xiuyun","family":"Li","sequence":"additional","affiliation":[{"name":"Institute for Algebra, Johannes Kepler University, China and KLMM, AMSS, Chinese Academy of Sciences, China"}]}],"member":"320","published-online":{"date-parts":[[2024,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1071","article-title":"The summation of rational functions. \u017d. Vy\u010disl. Mat i Mat","volume":"11","author":"Abramov A.","year":"1971","unstructured":"Sergei\u00a0A. Abramov. 1971. The summation of rational functions. \u017d. Vy\u010disl. Mat i Mat. Fiz. 11 (1971), 1071\u20131075.","journal-title":"Fiz."},{"key":"e_1_3_2_1_2_1","first-page":"1035","article-title":"The rational component of the solution of a first order linear recurrence relation with rational right hand side. \u017d. Vy\u010disl. Mat. i Mat","volume":"15","author":"Abramov A.","year":"1975","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.","journal-title":"Fiz."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/220346.220386"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1080\/10652469908819212"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/258726.258774"},{"key":"e_1_3_2_1_6_1","unstructured":"Stefan\u00a0T. Boettner. 2010. Mixed Transcendental and Algebraic Extensions for the Risch-Norman Algorithm. PhD Thesis. Tulane University New Orleans USA."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2000.0368"},{"key":"e_1_3_2_1_8_1","unstructured":"[8] Manuel Bronstein. 2005. https:\/\/www-sop.inria.fr\/cafe\/Manuel.Bronstein\/pmint\/."},{"key":"e_1_3_2_1_9_1","volume-title":"Symbolic Integration I: Transcendental Functions","author":"Bronstein Manuel","unstructured":"Manuel Bronstein. 2005. Symbolic Integration I: Transcendental Functions. Springer-Verlag, Berlin. xvi+325 pages."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.04.003"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452143.3465514"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02124750"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1089302.1089303"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-11607-9_17"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/6187.6189"},{"key":"e_1_3_2_1_16_1","volume-title":"Complete reduction systems for Airy functions. Bulletin of Chinese Applied Mathematics 1(1)","author":"Du Hao","year":"2023","unstructured":"Hao Du and Clemens\u00a0G. Raab. 2023. Complete reduction systems for Airy functions. Bulletin of Chinese Applied Mathematics 1(1) (2023), 10\u201321."},{"key":"e_1_3_2_1_17_1","unstructured":"Lixin Du and Yarong Wei. 2024. arXiv:2401.13933. Solutions to the First Order Difference Equations in the Multivariate Difference Field. arxiv:2401.13933\u00a0[math.CO]"},{"key":"e_1_3_2_1_18_1","volume-title":"An introduction to difference equations","author":"Elaydi Saber","unstructured":"Saber Elaydi. 2005. An introduction to difference equations (third ed.). Springer, New York. xxii+539 pages."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aam.2015.01.001"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/800206.806404"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/74540.74567"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.75.1.40"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1112\/S0010437X07003430"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/22.2.127"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1998.0251"},{"key":"e_1_3_2_1_26_1","unstructured":"Qing-Hu Hou and Yarong Wei. 2024. arXiv:2401.11387. Rational Solutions to the First Order Difference Equations in the Bivariate Difference Field. arxiv:2401.11387\u00a0[math.CO]"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/322248.322255"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/322248.322255"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(85)80038-9"},{"key":"e_1_3_2_1_30_1","volume-title":"D-Finite Functions","author":"Kauers Manuel","unstructured":"Manuel Kauers. 2023. D-Finite Functions. Springer-Verlag, Cham. xvi+665 pages."},{"key":"e_1_3_2_1_31_1","volume-title":"The Concrete Tetrahedron","author":"Kauers Manuel","unstructured":"Manuel Kauers and Peter Paule. 2011. The Concrete Tetrahedron. Springer, Wien."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.03.002"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6947-5"},{"key":"e_1_3_2_1_34_1","volume-title":"Proceedings of the 4th International Colloquium on Advanced Computing Methods in Theoretical Physics. 99\u2013110","author":"Norman C","year":"1977","unstructured":"Arthur\u00a0C Norman and PMA Moore. 1977. Implementing the new Risch integration algorithm. In Proceedings of the 4th International Colloquium on Advanced Computing Methods in Theoretical Physics. 99\u2013110."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.7494\/OpMath.2017.37.3.457"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/0747-7171(92)90038-6"},{"key":"e_1_3_2_1_37_1","unstructured":"Marko Petkov\u0161ek Herbert\u00a0S. Wilf and Doron Zeilberger. 1996. A = B. A. K. Peters Ltd. Wellesley MA. xii+212 pages. With a foreword by Donald E. Knuth."},{"key":"e_1_3_2_1_38_1","volume-title":"Computer algebra in quantum field theory","author":"Raab G.","unstructured":"Clemens\u00a0G. Raab. 2013. Generalization of Risch\u2019s algorithm to special functions. In Computer algebra in quantum field theory. Springer, Wien, 285\u2013304."},{"key":"e_1_3_2_1_39_1","unstructured":"Carsten Schneider. 2001. Symbolic Summation in Difference Fields. Ph.\u00a0D. Dissertation. RISC-Linz Johannes Kepler Universit\u00e4t Linz."},{"key":"e_1_3_2_1_40_1","volume-title":"Proc. SYNASC\u201904","author":"Schneider Carsten","year":"2004","unstructured":"Carsten Schneider. 2004. A Collection of Denominator Bounds to Solve Parameterized Linear Difference Equations in \u03a0\u03a3 -Extensions. In Proc. SYNASC\u201904. 269\u2013282."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-004-0167-3"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.01.001"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930945"},{"key":"e_1_3_2_1_44_1","volume-title":"Computer Algebra in Quantum Field Theory","author":"Schneider Carsten","unstructured":"Carsten Schneider and Johannes Bl\u00fcmlein. 2016. Computer Algebra in Quantum Field Theory. Springer, Wien."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0195-6698(80)80051-5"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511609589"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139058520"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0096118"},{"key":"e_1_3_2_1_49_1","unstructured":"Yarong Wei. 2024. arXiv:2401.11388. Polynomial Solutions to the First Order Difference Equations in the Bivariate Difference Field. arxiv:2401.11388\u00a0[math.CO]"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/0377-0427(90)90042-X"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80044-2"}],"event":{"name":"ISSAC '24: International Symposium on Symbolic and Algebraic Computation","location":"Raleigh NC USA","acronym":"ISSAC '24","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669678","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3666000.3669678","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T00:52:19Z","timestamp":1758588739000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669678"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,16]]},"references-count":51,"alternative-id":["10.1145\/3666000.3669678","10.1145\/3666000"],"URL":"https:\/\/doi.org\/10.1145\/3666000.3669678","relation":{},"subject":[],"published":{"date-parts":[[2024,7,16]]},"assertion":[{"value":"2024-07-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}