{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T11:09:22Z","timestamp":1768907362410,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":31,"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":"National Key R&D Program of China","award":["2022YFA1005102"],"award-info":[{"award-number":["2022YFA1005102"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,16]]},"DOI":"10.1145\/3666000.3669675","type":"proceedings-article","created":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T13:18:51Z","timestamp":1721049531000},"page":"56-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Reduction of Transcendental Decision Problems over the Reals"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-5985-5359","authenticated-orcid":false,"given":"Rizeng","family":"Chen","sequence":"first","affiliation":[{"name":"School of Mathematical Sciences, Peking University, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2570-2338","authenticated-orcid":false,"given":"Bican","family":"Xia","sequence":"additional","affiliation":[{"name":"Peking University, China"}]}],"member":"320","published-online":{"date-parts":[[2024,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390799"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/345542.345567"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_9"},{"key":"e_1_3_2_1_4_1","volume-title":"Ordinary differential equations","author":"Arnold I","unstructured":"Vladimir\u00a0I Arnold. 1992. Ordinary differential equations. Springer Science & Business Media."},{"key":"e_1_3_2_1_5_1","volume-title":"Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)","author":"Basu Saugata","unstructured":"Saugata Basu, Richard Pollack, and Marie-Fran\u00e7oise Roy. 2006. Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics). Springer-Verlag, Berlin, Heidelberg. https:\/\/perso.univ-rennes1.fr\/marie-francoise.roy\/bpr-ed2-posted3.html"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.06.005"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/321574.321591"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2023.102250"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597066.3597104"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2019.10.002"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.ICALP.2016.100"},{"key":"e_1_3_2_1_12_1","volume-title":"What is a closed-form number?The American mathematical monthly 106, 5","author":"Chow Y","year":"1999","unstructured":"Timothy\u00a0Y Chow. 1999. What is a closed-form number?The American mathematical monthly 106, 5 (1999), 440\u2013448."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-07407-4_17"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24953-7_34"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2016.7810321"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-02-06753-9"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"},{"key":"e_1_3_2_1_18_1","volume-title":"Introduction to Transcendental Numbers","author":"Lang Serge","unstructured":"Serge Lang. 1966. Introduction to Transcendental Numbers. Addison-Wesley."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2015.10.003"},{"key":"e_1_3_2_1_20_1","volume-title":"On the decidability of the real exponential field. KREISEL\u2019S MATHEMATICS 115","author":"Macintyre Angus","year":"1996","unstructured":"Angus Macintyre and Alex\u00a0J Wilkie. 1996. On the decidability of the real exponential field. KREISEL\u2019S MATHEMATICS 115 (1996), 451."},{"key":"e_1_3_2_1_21_1","volume-title":"Studies in Logic and the Foundations of Mathematics. Vol.\u00a074","author":"Matijasevi\u010d V","unstructured":"Yu\u00a0V Matijasevi\u010d. 1973. On recursive unsolvability of Hilbert\u2019s tenth problem. In Studies in Logic and the Foundations of Mathematics. Vol.\u00a074. Elsevier, 89\u2013110."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.08.004"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.2307\/2271358"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0157"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390810"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576749"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.08.009"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.11.004"},{"key":"e_1_3_2_1_29_1","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"Tarski A.","unstructured":"A. Tarski. 1951. A Decision Method for Elementary Algebra and Geometry. University of California Press."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/321850.321856"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2014.09.015"}],"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.3669675","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3666000.3669675","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T00:52:42Z","timestamp":1758588762000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669675"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,16]]},"references-count":31,"alternative-id":["10.1145\/3666000.3669675","10.1145\/3666000"],"URL":"https:\/\/doi.org\/10.1145\/3666000.3669675","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"}}]}}