{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T17:13:31Z","timestamp":1783617211830,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":27,"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":"The Strategic Priority Research Program of the Chinese Academy of Sciences","award":["XDB05102"],"award-info":[{"award-number":["XDB05102"]}]},{"name":"NSFC","award":["12271511"],"award-info":[{"award-number":["12271511"]}]},{"name":"National Key R&D Programs of China","award":["2023YFA1009401"],"award-info":[{"award-number":["2023YFA1009401"]}]},{"name":"The International Partnership Program of Chinese Academy of Sciences","award":["167GJHZ2023001FN"],"award-info":[{"award-number":["167GJHZ2023001FN"]}]},{"name":"The ERC-2023-ADG grant for the ODELIX project","award":["101142171"],"award-info":[{"award-number":["101142171"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,13]]},"DOI":"10.1145\/3815436.3815443","type":"proceedings-article","created":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T16:11:51Z","timestamp":1783613511000},"page":"105-113","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Zero-Test for D-Algebraic Transseries"],"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-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\/0000-0003-2244-1897","authenticated-orcid":false,"given":"Joris","family":"van der Hoeven","sequence":"additional","affiliation":[{"name":"LIX, CNRS, \u00c9cole polytechnique, Institut Polytechnique de Paris, Palaiseau, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,12]]},"reference":[{"key":"e_1_3_3_7_2_1","doi-asserted-by":"crossref","unstructured":"1 [1]M.\u00a0Aschenbrenner L.\u00a0van\u00a0den Dries and J.\u00a0van\u00a0der Hoeven. Asymptotic Differential Algebra and Model Theory of Transseries. Number 195 in Annals of Mathematics studies. Princeton University Press 2017.","DOI":"10.23943\/princeton\/9780691175423.001.0001"},{"key":"e_1_3_3_7_3_1","unstructured":"2 [2]F.\u00a0Boulier. \u00c9tude et implantation de quelques algorithmes en alg\u00e8bre diff\u00e9rentielle. PhD thesis University of Lille I 1994."},{"key":"e_1_3_3_7_4_1","doi-asserted-by":"crossref","unstructured":"3 [3]R.\u00a0M.\u00a0Corless G.\u00a0H.\u00a0Gonnet D.\u00a0E.\u00a0G.\u00a0Hare D.\u00a0J.\u00a0Jeffrey and D.\u00a0E.\u00a0Knuth. On the Lambert W function. Adv. Comput. Math. 5(4):329\u2013359 1996.","DOI":"10.1007\/BF02124750"},{"key":"e_1_3_3_7_5_1","doi-asserted-by":"crossref","unstructured":"4 [4]B.\u00a0I.\u00a0Dahn and P.\u00a0G\u00f6ring. Notes on exponential-logarithmic terms. Fundamenta Mathematicae 127:45\u201350 1986.","DOI":"10.4064\/fm-127-1-45-50"},{"key":"e_1_3_3_7_6_1","doi-asserted-by":"crossref","unstructured":"5 [5]J.\u00a0Denef and L.\u00a0Lipshitz. Power series solutions of algebraic differential equations. Math. Ann. 267:213\u2013238 1984.","DOI":"10.1007\/BF01579200"},{"key":"e_1_3_3_7_7_1","doi-asserted-by":"crossref","unstructured":"6 [6]J.\u00a0Denef and L.\u00a0Lipshitz. Decision problems for differential equations. The Journ. of Symb. Logic 54(3):941\u2013950 1989.","DOI":"10.2307\/2274755"},{"key":"e_1_3_3_7_8_1","unstructured":"7 [7]J.\u00a0\u00c9calle. Introduction aux fonctions analysables et preuve constructive de la conjecture de Dulac. Hermann collection: Actualit\u00e9s math\u00e9matiques 1992."},{"key":"e_1_3_3_7_9_1","doi-asserted-by":"crossref","unstructured":"8 [8]K.\u00a0O.\u00a0Geddes and G.\u00a0H.\u00a0Gonnet. A new algorithm for computing symbolic limits using hierarchical series. In Proc. ISSAC \u201988 volume 358 of Lect. Notes in Comp. Science pages 490\u2013495. Springer 1988.","DOI":"10.1007\/3-540-51084-2_47"},{"key":"e_1_3_3_7_10_1","unstructured":"9 [9]J.\u00a0van\u00a0der Hoeven. Outils effectifs en asymptotique et applications. Technical Report LIX\/RR\/94\/09 LIX \u00c9cole polytechnique France 1994."},{"key":"e_1_3_3_7_11_1","unstructured":"10 [10]J.\u00a0van\u00a0der Hoeven. Automatic asymptotics. PhD thesis \u00c9cole polytechnique Palaiseau France 1997."},{"key":"e_1_3_3_7_12_1","unstructured":"11 [11]J.\u00a0van\u00a0der Hoeven. Complex transseries solutions to algebraic differential equations. Technical Report 2001-34 Univ. d\u2019Orsay 2001."},{"key":"e_1_3_3_7_13_1","doi-asserted-by":"crossref","unstructured":"12 [12]J.\u00a0van\u00a0der Hoeven. A new zero-test for formal power series. In Teo Mora editor Proc. ISSAC \u201902 pages 117\u2013122. Lille France July 2002.","DOI":"10.1145\/780506.780521"},{"key":"e_1_3_3_7_14_1","doi-asserted-by":"crossref","unstructured":"13 [13]J.\u00a0van\u00a0der Hoeven. Relax but don\u2019t be too lazy. JSC 34:479\u2013542 2002.","DOI":"10.1006\/jsco.2002.0562"},{"key":"e_1_3_3_7_15_1","doi-asserted-by":"crossref","unstructured":"14 [14]J.\u00a0van\u00a0der Hoeven. Transseries and real differential algebra volume 1888 of Lecture Notes in Mathematics. Springer-Verlag 2006.","DOI":"10.1007\/3-540-35590-1"},{"key":"e_1_3_3_7_16_1","doi-asserted-by":"crossref","unstructured":"15 [15]J.\u00a0van\u00a0der Hoeven. Computing with D-algebraic power series. AAECC 30(1):17\u201349 2019.","DOI":"10.1007\/s00200-018-0358-y"},{"key":"e_1_3_3_7_17_1","unstructured":"16 [16]J.\u00a0van\u00a0der Hoeven. The Jolly Writer. Your Guide to GNU TeXmacs. Scypress 2020."},{"key":"e_1_3_3_7_18_1","doi-asserted-by":"crossref","unstructured":"17 [17]J.\u00a0van\u00a0der Hoeven and J.\u00a0R.\u00a0Shackell. Complexity bounds for zero-test algorithms. JSC 41:1004\u20131020 2006.","DOI":"10.1016\/j.jsc.2006.06.001"},{"key":"e_1_3_3_7_19_1","unstructured":"18 [18]E.\u00a0L.\u00a0Ince. Ordinary differential equations. Longmans Green and Co. 1926. Reprinted by Dover in 1944 and 1956."},{"key":"e_1_3_3_7_20_1","doi-asserted-by":"crossref","unstructured":"19 [19]A.\u00a0G.\u00a0Khovanskii. Fewnomials volume\u00a088 of Translations of Mathematical Monographs. AMS Providence RI 1991.","DOI":"10.1090\/mmono\/088"},{"key":"e_1_3_3_7_21_1","unstructured":"20 [20]E.\u00a0R.\u00a0Kolchin. Differential algebra and algebraic groups. Academic Press New York 1973."},{"key":"e_1_3_3_7_22_1","unstructured":"21 [21]T.\u00a0Levi-Civita. Sugli infiniti ed infinitesimi attuali quali elimenti analitici. Atti ist. Ven. 7:1765\u20131815 1893."},{"key":"e_1_3_3_7_23_1","unstructured":"22 [22]A.\u00a0P\u00e9ladan-Germa. Tests effectifs de nullit\u00e9 dans des extensions d\u2019anneaux diff\u00e9rentiels. PhD thesis Gage \u00c9cole Polytechnique Palaiseau France 1997."},{"key":"e_1_3_3_7_24_1","doi-asserted-by":"crossref","unstructured":"23 [23]D.\u00a0Richardson B.\u00a0Salvy J.\u00a0Shackell and J.\u00a0van\u00a0der Hoeven. Expansions of exp-log functions. In Proc. ISSAC \u201996 pages 309\u2013313. Z\u00fcrich Switzerland July 1996.","DOI":"10.1145\/236869.237089"},{"key":"e_1_3_3_7_25_1","doi-asserted-by":"crossref","unstructured":"24 [24]R.\u00a0H.\u00a0Risch. Algebraic properties of elementary functions in analysis. Amer. Journ. of Math. 4(101):743\u2013759 1975.","DOI":"10.2307\/2373917"},{"key":"e_1_3_3_7_26_1","doi-asserted-by":"crossref","unstructured":"25 [25]J.\u00a0F.\u00a0Ritt. Differential algebra. Amer. Math. Soc. New York 1950.","DOI":"10.1090\/coll\/033"},{"key":"e_1_3_3_7_27_1","doi-asserted-by":"crossref","unstructured":"26 [26]J.\u00a0Shackell. A differential-equations approach to functional equivalence. In Proc. ISSAC \u201989 pages 7\u201310. Portland Oregon ACM New York 1989. ACM Press.","DOI":"10.1145\/74540.74542"},{"key":"e_1_3_3_7_28_1","doi-asserted-by":"crossref","unstructured":"27 [27]J.\u00a0Shackell. Zero equivalence in function fields defined by differential equations. Proc. of the AMS 336(1):151\u2013172 1993.","DOI":"10.2307\/2154342"}],"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:40Z","timestamp":1783614220000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3815436.3815443"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,12]]},"references-count":27,"alternative-id":["10.1145\/3815436.3815443","10.1145\/3815436"],"URL":"https:\/\/doi.org\/10.1145\/3815436.3815443","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"}}]}}