{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:20:57Z","timestamp":1750220457967,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T00:00:00Z","timestamp":1626566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["DMS-1853482, DMS-1760448, DMS-1853650, CCF-1564132, CCF-1563942"],"award-info":[{"award-number":["DMS-1853482, DMS-1760448, DMS-1853650, CCF-1564132, CCF-1563942"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Paris Ile-de-France region"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,7,18]]},"DOI":"10.1145\/3452143.3465549","type":"proceedings-article","created":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T10:13:50Z","timestamp":1658139230000},"page":"187-192","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Zero Test for \u03c3-algebraic Power Series"],"prefix":"10.1145","author":[{"given":"Joris","family":"van der Hoeven","sequence":"first","affiliation":[{"name":"CNRS, \u00c9cole polytechnique, Institut Polytechnique de Paris, Palaiseau, France"}]},{"given":"Gleb","family":"Pogudin","sequence":"additional","affiliation":[{"name":"CNRS, \u00c9cole polytechnique, Institut Polytechnique de Paris, Palaiseau, France"}]}],"member":"320","published-online":{"date-parts":[[2021,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"J. Della Dora C. Dicrescenzo and D. Duval. A new method for computing in algebraic number fields. In G. Goos and J. Hartmanis editors Eurocal'85 (2) volume 174 of Lect. Notes in Comp. Science pages 321--326. Springer 1985.","DOI":"10.1007\/3-540-15984-3_279"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01579200"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274755"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/780506.780521"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2002.0562"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-018-0358-y"},{"key":"e_1_3_2_1_7_1","volume-title":"The Jolly Writer. Your Guide to GNU TeXmacs","author":"van der Hoeven J.","year":"2020","unstructured":"J. van der Hoeven. The Jolly Writer. Your Guide to GNU TeXmacs. Scypress, 2020."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1240233.1240241"},{"key":"e_1_3_2_1_9_1","unstructured":"P\u00e9ladan-Germa. Tests effectifs de nullit\u00e9 dans des extensions d'anneaux diff\u00e9rentiels. PhD thesis Gage \u00c9cole Polytechnique Palaiseau France 1997."},{"issue":"101","key":"e_1_3_2_1_10_1","first-page":"743","article-title":"Algebraic properties of elementary functions in analysis","volume":"4","author":"Risch H.","year":"1975","unstructured":"H. Risch. Algebraic properties of elementary functions in analysis. Amer. Journ. of Math., 4(101):743--759, 1975.","journal-title":"Amer. Journ. of Math."},{"key":"e_1_3_2_1_11_1","first-page":"7","volume-title":"Proc. ISSAC '89","year":"1989","unstructured":"Shackell. A differential-equations approach to functional equivalence. In Proc. ISSAC '89, pages 7--10. Portland, Oregon, A.C.M., New York, 1989. ACM Press."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0377-0427(90)90042-X"}],"event":{"name":"ISSAC '21: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Virtual Event Russian Federation","acronym":"ISSAC '21"},"container-title":["Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452143.3465549","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452143.3465549","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452143.3465549","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:08Z","timestamp":1750193288000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452143.3465549"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,18]]},"references-count":12,"alternative-id":["10.1145\/3452143.3465549","10.1145\/3452143"],"URL":"https:\/\/doi.org\/10.1145\/3452143.3465549","relation":{},"subject":[],"published":{"date-parts":[[2021,7,18]]},"assertion":[{"value":"2021-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}