{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T02:40:03Z","timestamp":1778294403461,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":31,"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":[{"name":"EU H2020 research and innovation programme","award":["813211"],"award-info":[{"award-number":["813211"]}]},{"name":"ANR","award":["ANR-18-CE33-0011"],"award-info":[{"award-number":["ANR-18-CE33-0011"]}]},{"name":"ANR","award":["ANR-19-CE48-0015"],"award-info":[{"award-number":["ANR-19-CE48-0015"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,7,18]]},"DOI":"10.1145\/3452143.3465551","type":"proceedings-article","created":{"date-parts":[[2021,7,13]],"date-time":"2021-07-13T22:32:21Z","timestamp":1626215541000},"page":"257-264","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Computing the Dimension of Real Algebraic Sets"],"prefix":"10.1145","author":[{"given":"Pierre","family":"Lairez","sequence":"first","affiliation":[{"name":"Inria, Palaiseau, France"}]},{"given":"Mohab","family":"Safey El Din","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, CNRS, LIP6, \u00c9quipe PolSys, Paris, France"}]}],"member":"320","published-online":{"date-parts":[[2021,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.1997.0432"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1108638.1716342"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-009-0117-1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2755996.2756670"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10958-006-0111-0"},{"key":"e_1_3_2_1_6_1","volume-title":"Safey El Din. \"msolve: A Library for Solving Polynomial Systems\".","author":"Berthomieu J.","year":"2021","unstructured":"J. Berthomieu, C. Eder, and M. Safey El Din. \"msolve: A Library for Solving Polynomial Systems\". available at https:\/\/msolve.lip6.fr. 2021."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03718-8"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/49142"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373207.3404048"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.014"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-07407-4_17"},{"key":"e_1_3_2_1_12_1","volume-title":"Algorithms for the real radical","author":"Conti P.","year":"1998","unstructured":"P. Conti and C. Traverso. \"Algorithms for the real radical\". 1998."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1983-0688959-3"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/3116258.3116373"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(99)00005-5"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15582-6_17"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2016.07.025"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0095244"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.2000.0571"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2608676"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.2307\/2374240"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3457341.3457347"},{"key":"e_1_3_2_1_23_1","volume-title":"Cambridge University Press","author":"Hatcher A.","year":"2002","unstructured":"A. Hatcher. Algebraic Topology. Cambridge University Press, 2002."},{"key":"e_1_3_2_1_24_1","first-page":"36","volume-title":"Proceedings of FOCS'97","author":"Koiran P.","year":"1997","unstructured":"P. Koiran. \"Randomized and Deterministic Algorithms for the Dimension of Algebraic Varieties\". In: Proceedings of FOCS'97. IEEE, 1997, pp. 36--45. doi: 10\/c8k78z."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.1999.0502"},{"key":"e_1_3_2_1_26_1","first-page":"1387","volume-title":"Commun. Pure Appl. Math. 51.11--12","author":"Lax P. D.","year":"1998","unstructured":"P. D. Lax. \"On the Discriminant of Real Symmetric Matrices\". In: Commun. Pure Appl. Math. 51.11--12 (1998), pp. 1387--1396. doi: 10\/bc9g35."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-2012-01383-6"},{"key":"e_1_3_2_1_28_1","first-page":"327","article-title":"Safey El Din. \"Computing roadmaps in smooth real algebraic sets","author":"Mezzarobba M.","year":"2006","unstructured":"M. Mezzarobba and M. Safey El Din. \"Computing roadmaps in smooth real algebraic sets\". In: Proceedings of Transgressive Computing. Ed. by J.-G. Dumas. 2006, pp. 327--338.","journal-title":"Proceedings of Transgressive Computing. Ed. by J.-G. Dumas."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1145\/860854.860901","volume-title":"Proceedings of ISSAC'03","author":"Din M. Safey El","year":"2003","unstructured":"M. Safey El Din and \u00c9. Schost. \"Polar Varieties and Computation of One Point in Each Connected Component of a Smooth Algebraic Set\". In: Proceedings of ISSAC'03. ACM, New York, 2003, pp. 224--231. doi: 10\/cp5qsq."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2019.10.018"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0282"}],"event":{"name":"ISSAC '21: International Symposium on Symbolic and Algebraic Computation","location":"Virtual Event Russian Federation","acronym":"ISSAC '21","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"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.3465551","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452143.3465551","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.3465551"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,18]]},"references-count":31,"alternative-id":["10.1145\/3452143.3465551","10.1145\/3452143"],"URL":"https:\/\/doi.org\/10.1145\/3452143.3465551","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"}}]}}