{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T06:59:59Z","timestamp":1774594799908,"version":"3.50.1"},"reference-count":12,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"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":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2020,9]]},"abstract":"<jats:p>\n            Many algorithms for determining properties of semi-algebraic sets rely upon the ability to compute smooth points [1]. We present a simple procedure based on computing the critical points of some well-chosen function that guarantees the computation of smooth points in each connected bounded component of a real atomic semi-algebraic set. Our technique is intuitive in principal, performs well on previously difficult examples, and is straightforward to implement using existing numerical algebraic geometry software. The practical efficiency of our approach is demonstrated by solving a conjecture on the number of equilibria of the Kuramoto model for the\n            <jats:italic>n<\/jats:italic>\n            = 4 case. We also apply our method to design an efficient algorithm to compute the real dimension of algebraic sets, the original motivation for this research.\n          <\/jats:p>","DOI":"10.1145\/3457341.3457347","type":"journal-article","created":{"date-parts":[[2021,3,15]],"date-time":"2021-03-15T22:07:02Z","timestamp":1615846022000},"page":"105-108","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Smooth points on semi-algebraic sets"],"prefix":"10.1145","volume":"54","author":[{"given":"Katherine","family":"Harris","sequence":"first","affiliation":[{"name":"North Carolina State University"}]},{"given":"Jonathan D.","family":"Hauenstein","sequence":"additional","affiliation":[{"name":"University of Notre Dame"}]},{"given":"Agnes","family":"Szanto","sequence":"additional","affiliation":[{"name":"North Carolina State University"}]}],"member":"320","published-online":{"date-parts":[[2021,3,15]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1197095"},{"key":"e_1_2_1_2_1","unstructured":"D. J. Bates J. D. Hauenstein A. J. Sommese and C. W. Wampler. Bertini: Software for numerical algebraic geometry. Available at bertini.nd.edu.  D. J. Bates J. D. Hauenstein A. J. Sommese and C. W. Wampler. Bertini: Software for numerical algebraic geometry. Available at bertini.nd.edu."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/2568129"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1137\/17M1128198"},{"key":"e_1_2_1_5_1","unstructured":"D. R. Grayson and M. E. Stillman. Macaulay2 a software system for research in algebraic geometry. Available at http:\/\/www.math.uiuc.edu\/Macaulay2\/.  D. R. Grayson and M. E. Stillman. Macaulay2 a software system for research in algebraic geometry. Available at http:\/\/www.math.uiuc.edu\/Macaulay2\/."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2331130.2331136"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-013-9147-y"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013365"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1090\/surv\/146"},{"key":"e_1_2_1_10_1","volume-title":"A probabilistic algorithm to compute the real dimension of a semi-algebraic set. CoRR, abs\/1304.1928","author":"Safey El Din M.","year":"2013"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3208976.3209002"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7525284"}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3457341.3457347","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3457341.3457347","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:19Z","timestamp":1750191439000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3457341.3457347"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,9]]}},"alternative-id":["10.1145\/3457341.3457347"],"URL":"https:\/\/doi.org\/10.1145\/3457341.3457347","relation":{},"ISSN":["1932-2240"],"issn-type":[{"value":"1932-2240","type":"print"}],"subject":[],"published":{"date-parts":[[2020,9]]},"assertion":[{"value":"2021-03-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}