{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T13:59:12Z","timestamp":1762783152148,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":30,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,16]]},"DOI":"10.1145\/3666000.3669718","type":"proceedings-article","created":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T13:18:51Z","timestamp":1721049531000},"page":"447-456","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Solving parameter-dependent semi-algebraic systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-9749-2858","authenticated-orcid":false,"given":"Louis","family":"Gaillard","sequence":"first","affiliation":[{"name":"ENS de Lyon, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9463-1257","authenticated-orcid":false,"given":"Mohab","family":"Safey El Din","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, CNRS, LIP6, France"}]}],"member":"320","published-online":{"date-parts":[[2024,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-04-07629-4"},{"volume-title":"Algorithms in real algebraic geometry","author":"Basu Saugata","key":"e_1_3_2_1_2_1","unstructured":"Saugata Basu, Richard Pollack, and Marie-Fran\u00e7oise Roy. 2006. Algorithms in real algebraic geometry (second ed.). Algorithms and Computation in Mathematics, Vol.\u00a010. Springer-Verlag, Berlin. x+662 pages."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/800057.808712"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930916"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1277548.1277557"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/74540.74556"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.014"},{"key":"e_1_3_2_1_8_1","volume-title":"Geometric Fiber Classification of Morphisms and a Geometric Approach to Cylindrical Algebraic Decomposition. arXiv preprint arXiv:2311.10515","author":"Chen Rizeng","year":"2023","unstructured":"Rizeng Chen. 2023. Geometric Fiber Classification of Morphisms and a Geometric Approach to Cylindrical Algebraic Decomposition. arXiv preprint arXiv:2311.10515 (2023)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-07407-4_17"},{"key":"e_1_3_2_1_10_1","volume-title":"International Workshop on Automated Deduction in Geometry. Springer, 31\u201343","author":"Corvez Solen","year":"2002","unstructured":"Solen Corvez and Fabrice Rouillier. 2002. Using computer algebra tools to classify serial manipulators. In International Workshop on Automated Deduction in Geometry. Springer, 31\u201343."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80004-X"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2608669"},{"key":"e_1_3_2_1_13_1","volume-title":"International Congress on Mathematical Software. Springer, 84\u201387","author":"Faug\u00e8re Jean-Charles","year":"2010","unstructured":"Jean-Charles Faug\u00e8re. 2010. FGb: a library for computing Gr\u00f6bner bases. In International Congress on Mathematical Software. Springer, 84\u201387."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390782"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1823931.1823933"},{"key":"e_1_3_2_1_16_1","volume-title":"Signatures in algebra, topology and dynamics. Ensaios Matem\u00e1ticos 30","author":"Ghys \u00c9tienne","year":"2016","unstructured":"\u00c9tienne Ghys and Andrew Ranicki. 2016. Signatures in algebra, topology and dynamics. Ensaios Matem\u00e1ticos 30 (2016), 1\u2013173."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1515\/crll.1856.52.39"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0113"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.01.007"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.4418\/2022.77.1.7"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452143.3465546"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2021.12.002"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390796"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145810"},{"key":"e_1_3_2_1_25_1","unstructured":"Luis David\u00a0Garc\u00eda Puente Elizabeth Gross Heather\u00a0A. Harrington Matthew Johnston Nicolette Meshkat Mercedes\u00a0P\u00e9rez Mill\u00e1n and Anne Shiu. 2023. Absolute concentration robustness: Algebra and geometry. arxiv:2401.00078\u00a0[math.AG]"},{"key":"e_1_3_2_1_26_1","volume-title":"RAGlib (version 3.4). URL: https:\/\/www-polsys. lip6. fr\/ safey\/RAGLib","author":"El\u00a0Din Mohab Safey","year":"2017","unstructured":"Mohab Safey El\u00a0Din. 2017. Real algebraic geometry library, RAGlib (version 3.4). URL: https:\/\/www-polsys. lip6. fr\/ safey\/RAGLib (2017)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860901"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02713938"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning, Andreas Dolzmann, Andreas Seidl, and Thomas Sturm (Eds.). 281\u2013289","author":"Yang Lu","year":"2005","unstructured":"Lu Yang and Bican Xia. 2005. Real Solution Classification for Parametric Semi-Algebraic Systems. In Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning, Andreas Dolzmann, Andreas Seidl, and Thomas Sturm (Eds.). 281\u2013289."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1142\/9789812791962_0018"}],"event":{"name":"ISSAC '24: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Raleigh NC USA","acronym":"ISSAC '24"},"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.3669718","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3666000.3669718","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T00:51:48Z","timestamp":1758588708000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669718"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,16]]},"references-count":30,"alternative-id":["10.1145\/3666000.3669718","10.1145\/3666000"],"URL":"https:\/\/doi.org\/10.1145\/3666000.3669718","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"}}]}}