{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T14:01:35Z","timestamp":1762783295056,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["10.55776\/PAT8258123,10.55776\/I6130,10.55776\/PAT9952223"],"award-info":[{"award-number":["10.55776\/PAT8258123,10.55776\/I6130,10.55776\/PAT9952223"]}],"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.3747552","type":"proceedings-article","created":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T10:51:17Z","timestamp":1762771877000},"page":"106-113","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Bounds for D-Algebraic Closure Properties"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8641-6661","authenticated-orcid":false,"given":"Manuel","family":"Kauers","sequence":"first","affiliation":[{"name":"Institute for Algebra, Johannes Kepler University, Linz, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-9840-0680","authenticated-orcid":false,"given":"Raphael","family":"Pages","sequence":"additional","affiliation":[{"name":"Institute for Algebra, Johannes Kepler University, Linz, Austria"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","unstructured":"Rida Ait El Manssour Anna-Laura Sattelberger and Bertrand Teguia Tabuguia. 2025. D-algebraic functions. Journal of Symbolic Computation 128 (2025) 102377. 10.1016\/j.jsc.2024.102377","DOI":"10.1016\/j.jsc.2024.102377"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"crossref","unstructured":"Olivier Bernardi and Mireille Bousquet-M\u00e9lou. 2017. Counting Coloured Planar Maps: Differential Equations. Communications in Mathematical Physics 354 (2017) 31\u201384.","DOI":"10.1007\/s00220-017-2906-x"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"crossref","unstructured":"Oliver Bernardi Mireille Bousquet-M\u00e9lou and Kilian Raschel. 2021. Counting quadrant walks via Tutte\u2019s invariant method. Combinatorial Theory 1 (2021) #3.","DOI":"10.5070\/C61055360"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/1277548.1277553"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"Alin Bostan and Antonio Jim\u00e9nez-Pastor. 2020. On the exponential generating function of laballed trees. Comptes Rendus Math\u00e9matique 358 9\u201310 (2020) 1005\u20131009.","DOI":"10.5802\/crmath.108"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","unstructured":"Francois Boulier. 1996. An optimization of Seidenberg\u2019s elimination algorithm in differential algebra. Mathematics and Computers in Simulation 42 (1996) 439\u2013448.","DOI":"10.1016\/S0378-4754(96)00018-3"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"crossref","unstructured":"Mireille Bousquet-M\u00e9lou and Andrew\u00a0Elvey Prince. 2022. The generating function of planar Eulerian orientations. Journal of Combinatorial Theory A 172 (2022) 105183.","DOI":"10.1016\/j.jcta.2019.105183"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"G. Carra-Ferro. 1997. A resultant theory for the systems of two ordinary algebraic differential equations. Applicable Algebra in Engineering Communications and Computing 8 6 (1997) 539\u2013560.","DOI":"10.1007\/s002000050090"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1515\/9783110922752.77"},{"key":"e_1_3_3_1_11_2","volume-title":"Patterns in Multi-dimensional Permutations","author":"Chen Shaoshi","year":"2024","unstructured":"Shaoshi Chen, Hanqian Fang, Sergey Kitaev, and Candice\u00a0X.T. Zhang. 2024. Patterns in Multi-dimensional Permutations. Technical Report 2411.02897. ArXiv."},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/2465506.2465510"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/2442829.2442850"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35651-8"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"crossref","unstructured":"J. Denef and L. Lipshitz. 1984. Power Series Solutions of Algebraic Differential Equations. Math. Ann. 267 (1984) 213\u2013238.","DOI":"10.1007\/BF01579200"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"J. Denef and L. Lipshitz. 1989. Decision Problems for Differential Equations. The Journal of Symbolic Logic 54 3 (1989) 941\u2013950.","DOI":"10.2307\/2274755"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2608634"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-34652-1"},{"key":"e_1_3_3_1_19_2","volume-title":"Differential Algebra and Algebraic Groups","author":"Kolchin E.\u00a0R.","year":"1973","unstructured":"E.\u00a0R. Kolchin. 1973. Differential Algebra and Algebraic Groups. Academic Press."},{"key":"e_1_3_3_1_20_2","volume-title":"Projecting dynamical systems via a support bound","author":"Mukhina Yulia","year":"2025","unstructured":"Yulia Mukhina and Gleb Pogudin. 2025. Projecting dynamical systems via a support bound. Technical Report 2501.13680. ArXiv."},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54195-0_60"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1090\/coll\/033"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"crossref","unstructured":"Sonia Rueda. 2016. Differential elimination by differential specialization of Sylvester style matrices. Advances in Applied Mathematics 72 (2016) 4\u201337.","DOI":"10.1016\/j.aam.2015.07.002"},{"key":"e_1_3_3_1_24_2","unstructured":"A. Seidenberg. 1956. An elimination theory for differential algebra. Univ. California Publ. Math III 22 (1956) 31\u201338."},{"key":"e_1_3_3_1_25_2","volume-title":"Basic algebraic geometry 1 (2nd, revised and expanded ed.)","author":"Shafarevich Igor\u00a0R.","year":"1994","unstructured":"Igor\u00a0R. Shafarevich and Miles Reid. 1994. Basic algebraic geometry 1 (2nd, revised and expanded ed.). Springer-Verlag, Berlin, Heidelberg."},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"crossref","unstructured":"Joris van\u00a0der Hoeven. 2019. Computing with D-algebraic power series. AAECC 30 (2019) 17\u201349.","DOI":"10.1007\/s00200-018-0358-y"}],"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.3747552","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:40:02Z","timestamp":1762774802000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3747199.3747552"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,28]]},"references-count":25,"alternative-id":["10.1145\/3747199.3747552","10.1145\/3747199"],"URL":"https:\/\/doi.org\/10.1145\/3747199.3747552","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"}}]}}