{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T20:18:21Z","timestamp":1783196301626,"version":"3.54.6"},"reference-count":48,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,11,1]],"date-time":"2026-11-01T00:00:00Z","timestamp":1793491200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,11,1]],"date-time":"2026-11-01T00:00:00Z","timestamp":1793491200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T00:00:00Z","timestamp":1777507200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100008109","name":"University of Notre Dame","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100008109","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000893","name":"Simons Foundation","doi-asserted-by":"publisher","award":["SFM-00005696"],"award-info":[{"award-number":["SFM-00005696"]}],"id":[{"id":"10.13039\/100000893","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000893","name":"Simons Foundation","doi-asserted-by":"publisher","award":["CCF 2212461"],"award-info":[{"award-number":["CCF 2212461"]}],"id":[{"id":"10.13039\/100000893","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF 2331400"],"award-info":[{"award-number":["CCF 2331400"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF 2331401"],"award-info":[{"award-number":["CCF 2331401"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000143","name":"National Science Foundation Division of Computing and Communication Foundations","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[2026,11]]},"DOI":"10.1016\/j.jsc.2026.102584","type":"journal-article","created":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T15:05:51Z","timestamp":1777993551000},"page":"102584","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Sampling smooth points on real algebraic sets using perturbations"],"prefix":"10.1016","volume":"137","author":[{"given":"Katherine E.","family":"Harris","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9252-8210","authenticated-orcid":false,"given":"Jonathan D.","family":"Hauenstein","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hoon","family":"Hong","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"issue":"6","key":"10.1016\/j.jsc.2026.102584_br0010","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1006\/jsco.2002.0563","article-title":"Real solving for positive dimensional systems","volume":"34","author":"Aubry","year":"2002","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2026.102584_br0030","series-title":"Proceedings of the 3rd International Conference on Approximation and Optimization in the Caribbean","first-page":"13","article-title":"Polar varieties and efficient real equation solving: the hypersurface case","author":"Bank","year":"1997"},{"issue":"1","key":"10.1016\/j.jsc.2026.102584_br0040","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1006\/jcom.1997.0432","article-title":"Polar varieties, real equation solving, and data structures: the hypersurface case","volume":"13","author":"Bank","year":"1997","journal-title":"J. Complex."},{"issue":"5","key":"10.1016\/j.jsc.2026.102584_br0050","first-page":"519","article-title":"Generalized polar varieties and an efficient real elimination procedure","volume":"40","author":"Bank","year":"2004","journal-title":"Kybernetika (Prague)"},{"issue":"19","key":"10.1016\/j.jsc.2026.102584_br0060","doi-asserted-by":"crossref","first-page":"1141","DOI":"10.1016\/j.ipl.2009.07.014","article-title":"On the intrinsic complexity of point finding in real singular hypersurfaces","volume":"109","author":"Bank","year":"2009","journal-title":"Inf. Process. Lett."},{"issue":"1","key":"10.1016\/j.jsc.2026.102584_br0070","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s00200-009-0117-1","article-title":"On the geometry of polar varieties","volume":"21","author":"Bank","year":"2010","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"issue":"1","key":"10.1016\/j.jsc.2026.102584_br0020","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/s10208-014-9214-z","article-title":"Degeneracy loci and polynomial equation solving","volume":"15","author":"Bank","year":"2015","journal-title":"Found. Comput. Math."},{"key":"10.1016\/j.jsc.2026.102584_br0080","series-title":"ISSAC'15\u2014Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation","first-page":"37","article-title":"Probabilistic algorithm for computing the dimension of real algebraic sets","author":"Bannwarth","year":"2015"},{"key":"10.1016\/j.jsc.2026.102584_br0090","article-title":"Algorithms in Real Algebraic Geometry","volume":"vol. 10","author":"Basu","year":"2006"},{"issue":"5","key":"10.1016\/j.jsc.2026.102584_br0100","doi-asserted-by":"crossref","first-page":"2346","DOI":"10.1007\/s10958-006-0111-0","article-title":"Computing the dimension of a semi-algebraic set","volume":"134","author":"Basu","year":"2006","journal-title":"J. Math. Sci."},{"issue":"2","key":"10.1016\/j.jsc.2026.102584_br0120","doi-asserted-by":"crossref","first-page":"722","DOI":"10.1137\/060658862","article-title":"Adaptive multiprecision path tracking","volume":"46","author":"Bates","year":"2008","journal-title":"SIAM J. Numer. Anal."},{"key":"10.1016\/j.jsc.2026.102584_br0130","article-title":"Numerically Solving Polynomial Systems with Bertini","volume":"vol. 25","author":"Bates","year":"2013"},{"key":"10.1016\/j.jsc.2026.102584_br0110","author":"Bates"},{"key":"10.1016\/j.jsc.2026.102584_br0140","series-title":"The Complexity of Robot Motion Planning","author":"Canny","year":"1988"},{"key":"10.1016\/j.jsc.2026.102584_br0150","article-title":"Smooth connectivity in real algebraic varieties","author":"Cummings","year":"2024","journal-title":"Numer. Algorithms"},{"key":"10.1016\/j.jsc.2026.102584_br0160","series-title":"ISSAC'08 \u2013 Proceedings of the 2008 ACM International Symposium on Symbolic and Algebraic Computation","first-page":"79","article-title":"Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities","author":"Faug\u00e8re","year":"2008"},{"issue":"4","key":"10.1016\/j.jsc.2026.102584_br0170","doi-asserted-by":"crossref","first-page":"679","DOI":"10.5802\/afst.1582","article-title":"Local polar varieties in the geometric study of singularities","volume":"27","author":"Flores","year":"2018","journal-title":"Ann. Fac. Sci. Toulouse Math. (6)"},{"key":"10.1016\/j.jsc.2026.102584_br0180","author":"Grayson"},{"issue":"1","key":"10.1016\/j.jsc.2026.102584_br0190","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/S0747-7171(88)80005-1","article-title":"Solving systems of polynomial inequalities in subexponential time","volume":"5","author":"Grigor'ev","year":"1988","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2026.102584_br0200","series-title":"Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation","first-page":"240","article-title":"Constructing fewer open cells by GCD computation in CAD projection","author":"Han","year":"2014"},{"key":"10.1016\/j.jsc.2026.102584_br0210","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.jsc.2022.09.003","article-title":"Smooth points on semi-algebraic sets","volume":"116","author":"Harris","year":"2023","journal-title":"J. Symb. Comput."},{"issue":"1","key":"10.1016\/j.jsc.2026.102584_br0220","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/s10440-012-9782-3","article-title":"Numerically computing real points on algebraic sets","volume":"125","author":"Hauenstein","year":"2013","journal-title":"Acta Appl. Math."},{"key":"10.1016\/j.jsc.2026.102584_br0240","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1016\/j.jsc.2016.07.015","article-title":"What is numerical algebraic geometry?","volume":"79","author":"Hauenstein","year":"2017","journal-title":"J. Symb. Comput."},{"issue":"3","key":"10.1016\/j.jsc.2026.102584_br0250","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/s10208-013-9147-y","article-title":"Isosingular sets and deflation","volume":"13","author":"Hauenstein","year":"2013","journal-title":"Found. Comput. Math."},{"issue":"10","key":"10.1016\/j.jsc.2026.102584_br0260","doi-asserted-by":"crossref","first-page":"5730","DOI":"10.1016\/j.amc.2012.06.034","article-title":"Numerically intersecting algebraic varieties via witness sets","volume":"219","author":"Hauenstein","year":"2013","journal-title":"Appl. Math. Comput."},{"key":"10.1016\/j.jsc.2026.102584_br0270","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1016\/j.amc.2016.08.023","article-title":"Unification and extension of intersection algorithms in numerical algebraic geometry","volume":"293","author":"Hauenstein","year":"2017","journal-title":"Appl. Math. Comput."},{"key":"10.1016\/j.jsc.2026.102584_br0230","doi-asserted-by":"crossref","first-page":"754","DOI":"10.1016\/j.jsc.2020.09.008","article-title":"Solving determinantal systems using homotopy techniques","volume":"104","author":"Hauenstein","year":"2021","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2026.102584_br0280","first-page":"103","article-title":"Sur la complexit\u00e9 du principe de Tarski-Seidenberg","volume":"4","author":"Heintz","year":"1989","journal-title":"Publ. Math. Inf. Rennes"},{"key":"10.1016\/j.jsc.2026.102584_br0290","series-title":"12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","first-page":"4","article-title":"Connectivity in semi-algebraic sets","author":"Hong","year":"2010"},{"key":"10.1016\/j.jsc.2026.102584_br0300","series-title":"Extremum Problems with Inequalities as Subsidiary Conditions","first-page":"197","author":"John","year":"2014"},{"key":"10.1016\/j.jsc.2026.102584_br0310","series-title":"Proceedings 38th Annual Symposium on Foundations of Computer Science","first-page":"36","article-title":"Randomized and deterministic algorithms for the dimension of algebraic varieties","author":"Koiran","year":"1997"},{"key":"10.1016\/j.jsc.2026.102584_br0320","series-title":"Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation","first-page":"257","article-title":"Computing the dimension of real algebraic sets","author":"Lairez","year":"2021"},{"key":"10.1016\/j.jsc.2026.102584_br0330","series-title":"Algorithms in Algebraic Geometry","first-page":"99","article-title":"Polars of real singular plane curves","author":"Mork","year":"2008"},{"key":"10.1016\/j.jsc.2026.102584_br0340","article-title":"Algebraic Geometry I Complex Projective Varieties","volume":"vol. 221","author":"Mumford","year":"1976"},{"key":"10.1016\/j.jsc.2026.102584_br0350","series-title":"Proceedings of Liverpool Singularities\u2014Symposium, I (1969\/70)","first-page":"286","article-title":"Simple singularities of maps","volume":"vol. 192","author":"Porteous","year":"1971"},{"key":"10.1016\/j.jsc.2026.102584_br0360","series-title":"[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science","first-page":"291","article-title":"A faster PSPACE algorithm for deciding the existential theory of the reals","author":"Renegar","year":"1988"},{"issue":"4","key":"10.1016\/j.jsc.2026.102584_br0370","doi-asserted-by":"crossref","first-page":"716","DOI":"10.1006\/jcom.2000.0563","article-title":"Finding at least one point in each connected component of a real algebraic set defined by a single equation","volume":"16","author":"Rouillier","year":"2000","journal-title":"J. Complex."},{"issue":"1","key":"10.1016\/j.jsc.2026.102584_br0380","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/s11786-007-0003-9","article-title":"Testing sign conditions on a multivariate polynomial and applications","volume":"1","author":"Safey El Din","year":"2007","journal-title":"Math. Comput. Sci."},{"key":"10.1016\/j.jsc.2026.102584_br0390","series-title":"Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation","first-page":"224","article-title":"Polar varieties and computation of one point in each connected component of a smooth algebraic set","author":"Safey El Din","year":"2003"},{"key":"10.1016\/j.jsc.2026.102584_br0400","series-title":"Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation","first-page":"183","article-title":"Critical point computations on smooth varieties: degree and complexity bounds","author":"Safey El Din","year":"2016"},{"key":"10.1016\/j.jsc.2026.102584_br0410","series-title":"ISSAC'18\u2014Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation","first-page":"351","article-title":"On the complexity of computing real radicals of polynomial systems","author":"Safey El Din","year":"2018"},{"key":"10.1016\/j.jsc.2026.102584_br0420","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/j.jsc.2019.10.018","article-title":"Computing real radicals and s-radicals of polynomial systems","volume":"102","author":"Safey El Din","year":"2021","journal-title":"J. Symb. Comput."},{"issue":"2","key":"10.1016\/j.jsc.2026.102584_br0430","doi-asserted-by":"crossref","first-page":"365","DOI":"10.2307\/1969640","article-title":"A new decision method for elementary algebra","volume":"60","author":"Seidenberg","year":"1954","journal-title":"Ann. Math."},{"key":"10.1016\/j.jsc.2026.102584_br0450","series-title":"The Numerical Solution of Systems of Polynomials Arising in Engineering and Science","author":"Sommese","year":"2005"},{"key":"10.1016\/j.jsc.2026.102584_br0440","series-title":"Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering","first-page":"37","article-title":"Numerical irreducible decomposition using projections from points on the components","volume":"vol. 286","author":"Sommese","year":"2001"},{"key":"10.1016\/j.jsc.2026.102584_br0460","series-title":"Topological Methods in Modern Mathematics","first-page":"93","article-title":"A bouquet of bouquets for a birthday","author":"Teissier","year":"1993"},{"issue":"6","key":"10.1016\/j.jsc.2026.102584_br0470","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1006\/jsco.1999.0282","article-title":"Complexity of computing the local dimension of a semialgebraic set","volume":"27","author":"Vorobjov","year":"1999","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2026.102584_br0480","series-title":"ISSAC 2013\u2014Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation","first-page":"339","article-title":"Finding points on real solution components and applications to differential polynomial systems","author":"Wu","year":"2013"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717126000325?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717126000325?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T19:50:55Z","timestamp":1783194655000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717126000325"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,11]]},"references-count":48,"alternative-id":["S0747717126000325"],"URL":"https:\/\/doi.org\/10.1016\/j.jsc.2026.102584","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[2026,11]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Sampling smooth points on real algebraic sets using perturbations","name":"articletitle","label":"Article Title"},{"value":"Journal of Symbolic Computation","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jsc.2026.102584","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Author(s). Published by Elsevier Ltd.","name":"copyright","label":"Copyright"}],"article-number":"102584"}}