{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:40:49Z","timestamp":1762774849361,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["10.55776\/PAT1332123"],"award-info":[{"award-number":["10.55776\/PAT1332123"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,7,28]]},"DOI":"10.1145\/3747199.3747545","type":"proceedings-article","created":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T10:51:17Z","timestamp":1762771877000},"page":"42-51","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Complete Reduction for Derivatives in a Primitive Tower"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0268-3370","authenticated-orcid":false,"given":"Hao","family":"Du","sequence":"first","affiliation":[{"name":"School of Mathematical Sciences, Beijing University of Posts and Telecommunications, Bejing, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-2070-6232","authenticated-orcid":false,"given":"Yiman","family":"Gao","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Research Institute for Symbolic Computation (RISC), Linz, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-6683-5744","authenticated-orcid":false,"given":"Wenqiao","family":"Li","sequence":"additional","affiliation":[{"name":"Key Lab of Mathematics Mechanization, AMSS, University of Chinese Academy of Sciences, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0964-6724","authenticated-orcid":false,"given":"Ziming","family":"Li","sequence":"additional","affiliation":[{"name":"Key Lab of Mathematics Mechanization, AMSS, University of Chinese Academy of Sciences, Beijing, China"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"Nasser\u00a0M. Abbasi. 2024. Computer Algebra Independent Integration Tests. Available at https:\/\/12000.org\/my_notes\/CAS_integration_tests\/index.htm."},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1142\/9789812777171_0034"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/384101.384103"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"Sergei\u00a0A. Abramov and Marko Petkov\u0161ek. 2002. Rational normal forms and minimal decompositions of hypergeometric terms. Journal of Symbolic Computation 33 5 (2002) 521\u2013543.","DOI":"10.1006\/jsco.2002.0522"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/2465506.2465946"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/3208976.3208992"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"crossref","unstructured":"Fran\u00e7ois Boulier Fran\u00e7ois Lemaire Joseph Lallemand Georg Regensburger and Markus Rosenkranz. 2016. Additive normal forms and integration of differential fractions. Journal of Symbolic Computation 77 (2016) 16\u201338.","DOI":"10.1016\/j.jsc.2016.01.002"},{"key":"e_1_3_3_1_9_2","volume-title":"Symbolic Integration I: Transcendental Functions (2nd ed.)","author":"Bronstein Manuel","year":"2005","unstructured":"Manuel Bronstein. 2005. Symbolic Integration I: Transcendental Functions (2nd ed.). Springer-Verlag, Berlin."},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"crossref","unstructured":"Bob\u00a0F. Caviness and Michael Rothstein. 1975. A Liouville theorem on integration in finite terms for line integrals. Communications in Algebra 3 (1975) 781\u2013795.","DOI":"10.1080\/00927877508822073"},{"key":"e_1_3_3_1_11_2","unstructured":"Shaoshi Chen Hao Du Yiman Gao Hui Huang Wenqiao Li and Ziming Li. 2025. A complete reduction in transcendental Liouvillian extensions. In preparation."},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/3208976.3208987"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/3452143.3465528"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597066.3597092"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930895"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930901"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Shaoshi Chen Mark van Hoeij Manuel Kauers and Christoph Koutschan. 2018. Reduction-based creative telescoping for Fuchsian D-finite functions. Journal of Symbolic Computation 85 (2018) 108\u2013127.","DOI":"10.1016\/j.jsc.2017.07.005"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"crossref","unstructured":"James\u00a0H. Davenport. 1986. The Risch differential equation problem. SIAM J. Comput. 15 (1986) 903\u2013918.","DOI":"10.1137\/0215063"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597066.3597078"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/3373207.3404025"},{"key":"e_1_3_3_1_21_2","unstructured":"FriCAS team. 2024. FriCAS 1.3.10\u2014an advanced computer algebra system. Available at http:\/\/fricas.github.io."},{"key":"e_1_3_3_1_22_2","unstructured":"Yiman Gao. 2024. Additive Decomposition and Elementary Integration over Exponential Extensions. Ph.D. Dissertation. Chinese Academy of Sciences Beijing China."},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"crossref","unstructured":"Michael Karr. 1981. Summation in finite terms. Journal of the Association for Computing Machinery 28 2 (1981) 305\u2013350.","DOI":"10.1145\/322248.322255"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-34652-1"},{"key":"e_1_3_3_1_25_2","unstructured":"Ha\u00a0Q. Le. 2003. Algorithms for the Construction of the Minimal Telescopers. Ph.D. Dissertation. University of Waterloo Waterloo Canada Ontariao."},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"crossref","unstructured":"Leonard Lipshitz. 1988. The diagonal of a D-finite power series is D-finite. Journal of Algebra 113 2 (1988) 373\u2013378.","DOI":"10.1016\/0021-8693(88)90166-4"},{"key":"e_1_3_3_1_27_2","unstructured":"Clemens\u00a0G. Raab. 2012. Definite Integration in Differential Fields. Ph.D. Dissertation. RISC-Linz Johannes Kepler University Linz Austria."},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"crossref","unstructured":"Clemens\u00a0G. Raab. 2012. Using Gr\u00f6bner bases for finding the logarithmic part of the integral of transcendental functions. Journal of Symbolic Computation 47 (2012) 1290\u20131296.","DOI":"10.1016\/j.jsc.2011.12.045"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-98767-1"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"crossref","unstructured":"Robert\u00a0H. Risch. 1969. The problem of integration in finite terms. Trans. Amer. Math. Soc. 139 (1969) 167\u2013189.","DOI":"10.1090\/S0002-9947-1969-0237477-8"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"crossref","unstructured":"Maxwell Rosenlicht. 1976. On Liouville\u2019s theory of elementary functions. Pacific J. Math. 65 2 (1976) 485 \u2013 492.","DOI":"10.2140\/pjm.1976.65.485"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"crossref","unstructured":"Bruno Salvy. 2019. Linear differential equations as a data-structure. Found. Comput. Math 19 5 (2019) 1071\u20131112.","DOI":"10.1007\/s10208-018-09411-x"},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-80219-6_17"},{"key":"e_1_3_3_1_34_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597066.3597073"},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"crossref","unstructured":"Michael\u00a0F. Singer David\u00a0B. Saunders and B.\u00a0F. Caviness. 1985. An Extension of Liouville\u2019s Theorem on Integration in Finite Terms. SIAM J. Comput. 14 4 (1985) 966\u2013990.","DOI":"10.1137\/0214069"},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"crossref","unstructured":"Joris van der\u00a0Hoeven. 2021. Constructing reductions for creative telescoping: the general differentially finite case. Applicable Algebra in Engineering Communication and Computing 32 5 (2021) 575\u2013602.","DOI":"10.1007\/s00200-020-00413-3"},{"key":"e_1_3_3_1_37_2","doi-asserted-by":"crossref","unstructured":"Doron Zeilberger. 1990. A holonomic systems approach to special functions identities. J. Comput. Appl. Math. 32 3 (1990) 321\u2013368.","DOI":"10.1016\/0377-0427(90)90042-X"}],"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.3747545","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:38:59Z","timestamp":1762774739000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3747199.3747545"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,28]]},"references-count":36,"alternative-id":["10.1145\/3747199.3747545","10.1145\/3747199"],"URL":"https:\/\/doi.org\/10.1145\/3747199.3747545","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"}}]}}