{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:58:34Z","timestamp":1760061514778,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,20]],"date-time":"2020-07-20T00:00:00Z","timestamp":1595203200000},"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":[[2020,7,20]]},"DOI":"10.1145\/3373207.3404049","type":"proceedings-article","created":{"date-parts":[[2020,7,27]],"date-time":"2020-07-27T14:07:23Z","timestamp":1595858843000},"page":"297-304","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Computing the real isolated points of an algebraic hypersurface"],"prefix":"10.1145","author":[{"given":"Huu Phuoc","family":"Le","sequence":"first","affiliation":[{"name":"Sorbonne Universit\u00e9, Paris Cedex, France"}]},{"given":"Mohab Safey El","family":"Din","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, Paris, France"}]},{"given":"Timo","family":"de Wolff","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Braunschweig, Braunschweig, Germany"}]}],"member":"320","published-online":{"date-parts":[[2020,7,27]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1016\/S0747-7171(88)80012-9"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.5555\/1197095"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/s00454-014-9610-9"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1007\/s10208-014-9212-1"},{"key":"e_1_3_2_1_5_1","first-page":"2184","article-title":"Geometric auxetics. Proc. R. Soc. Lond., A","volume":"471","author":"Borcea C.","year":"2015","unstructured":"Borcea , C. , and Streinu , I . Geometric auxetics. Proc. R. Soc. Lond., A , Math. Phys. Eng. Sci. 471 , 2184 ( 2015 ), 24. Borcea, C., and Streinu, I. Geometric auxetics. Proc. R. Soc. Lond., A, Math. Phys. Eng. Sci. 471, 2184 (2015), 24.","journal-title":"Math. Phys. Eng. Sci."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1093\/qjmam\/hbx028"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/1093390.1093393"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1177\/026635119200700208"},{"key":"e_1_3_2_1_9_1","first-page":"176","article-title":"Thom's first isotopy lemma: a semialgebraic version, with uniform bounds","volume":"815","author":"Coste M.","year":"1992","unstructured":"Coste , M. , and Shiota , M . Thom's first isotopy lemma: a semialgebraic version, with uniform bounds . RIMS Kokyuroku 815 ( 1992 ), 176 -- 189 . Coste, M., and Shiota, M. Thom's first isotopy lemma: a semialgebraic version, with uniform bounds. RIMS Kokyuroku 815 (1992), 176--189.","journal-title":"RIMS Kokyuroku"},{"key":"e_1_3_2_1_10_1","first-page":"2","article-title":"Rational puiseux expansions","volume":"70","author":"Duval D","year":"1989","unstructured":"Duval , D . Rational puiseux expansions . Compositio Mathematica 70 , 2 ( 1989 ), 119--154. Duval, D. Rational puiseux expansions. Compositio Mathematica 70, 2 (1989), 119--154.","journal-title":"Compositio Mathematica"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1016\/j.actamat.2005.02.006"},{"key":"e_1_3_2_1_12_1","first-page":"247","volume-title":"5th International Conference, AAECC-5","author":"Gianni P. M.","year":"1987","unstructured":"Gianni , P. M. , and Teo Mora , T. Algebraic solution of systems of polynomial equations using Gr\u00f6ebner bases. In Applied Algebra, Algebraic Algorithms and Error-Correcting Codes , 5th International Conference, AAECC-5 , Menorca, Spain, Proceedings ( 1987 ), pp. 247 -- 257 . Gianni, P. M., and Teo Mora, T. Algebraic solution of systems of polynomial equations using Gr\u00f6ebner bases. In Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 5th International Conference, AAECC-5, Menorca, Spain, Proceedings (1987), pp. 247--257."},{"key":"e_1_3_2_1_13_1","first-page":"205","volume-title":"11th International Symposium, AAECC-11, Paris","author":"Giusti M.","year":"1995","unstructured":"Giusti , M. , Heintz , J. , Morais , J. E. , and Pardo , L. M . When polynomial equation systems can be \"solved\" fast? In Applied Algebra, Algebraic Algorithms and Error-Correcting Codes , 11th International Symposium, AAECC-11, Paris , France, Proceedings ( 1995 ), pp. 205 -- 231 . Giusti, M., Heintz, J., Morais, J. E., and Pardo, L. M. When polynomial equation systems can be \"solved\" fast? In Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 11th International Symposium, AAECC-11, Paris, France, Proceedings (1995), pp. 205--231."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1006\/jcom.2000.0571"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1137\/130931308"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1007\/s10853-006-6339-8"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1016\/0304-3975(83)90002-6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1007\/s00454-005-1203-1"},{"key":"e_1_3_2_1_19_1","volume-title":"Grundz\u00fcge einer arithmetischen theorie der algebraischen gr\u00f6ssen. Journal f\u00fcr die reine und angewandte Mathematik 92","author":"Kronecker L.","year":"1882","unstructured":"Kronecker , L. Grundz\u00fcge einer arithmetischen theorie der algebraischen gr\u00f6ssen. Journal f\u00fcr die reine und angewandte Mathematik 92 ( 1882 ), 1--122. Kronecker, L. Grundz\u00fcge einer arithmetischen theorie der algebraischen gr\u00f6ssen. Journal f\u00fcr die reine und angewandte Mathematik 92 (1882), 1--122."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1126\/science.235.4792.1038"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1090\/S0002-9947-1981-0610958-6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1006\/jcom.2000.0563"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1016\/j.cam.2003.08.015"},{"key":"e_1_3_2_1_25_1","first-page":"224","volume-title":"Proc. of the 2003 Int. Symp. on Symb. and Alg. Comp. (2003), ISSAC '03, ACM","author":"Safey El Din M.","unstructured":"Safey El Din , M. , and Schost , E . Polar varieties and computation of one point in each connected component of a smooth real algebraic set . In Proc. of the 2003 Int. Symp. on Symb. and Alg. Comp. (2003), ISSAC '03, ACM , p. 224 -- 231 . Safey El Din, M., and Schost, E. Polar varieties and computation of one point in each connected component of a smooth real algebraic set. In Proc. of the 2003 Int. Symp. on Symb. and Alg. Comp. (2003), ISSAC '03, ACM, p. 224--231."},{"key":"e_1_3_2_1_26_1","first-page":"3","article-title":"Properness defects of projections and computation of at least one point in each connected component of a real algebraic set","volume":"32","author":"Safey El Din M.","year":"2004","unstructured":"Safey El Din , M. , and Schost , \u00c9 . Properness defects of projections and computation of at least one point in each connected component of a real algebraic set . Discrete & Computational Geometry 32 , 3 ( 2004 ), 417--430. Safey El Din, M., and Schost, \u00c9. Properness defects of projections and computation of at least one point in each connected component of a real algebraic set. Discrete & Computational Geometry 32, 3 (2004), 417--430.","journal-title":"Discrete & Computational Geometry"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1007\/s00454-009-9239-2"},{"key":"e_1_3_2_1_28_1","first-page":"6","article-title":"A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets","volume":"63","author":"Safey El Din M.","year":"2017","unstructured":"Safey El Din , M. , and Schost , \u00c9 . A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets . J. ACM 63 , 6 ( Jan. 2017 ), 48:1--48:37. Safey El Din, M., and Schost, \u00c9. A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets. J. ACM 63, 6 (Jan. 2017), 48:1--48:37.","journal-title":"J. ACM"},{"key":"e_1_3_2_1_29_1","first-page":"5","article-title":"Computing parametric geometric resolutions. Applicable Algebra in Engineering","volume":"13","author":"Schost","year":"2003","unstructured":"Schost , \u00c9 . Computing parametric geometric resolutions. Applicable Algebra in Engineering , Communication and Computing 13 , 5 ( 2003 ), 349--393. Schost, \u00c9. Computing parametric geometric resolutions. Applicable Algebra in Engineering, Communication and Computing 13, 5 (2003), 349--393.","journal-title":"Communication and Computing"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1016\/0196-8858(83)90014-3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1006\/jsco.1999.0282"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.1023\/B:JMSC.0000026928.93231.e0"}],"event":{"sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"acronym":"ISSAC '20","name":"ISSAC '20: International Symposium on Symbolic and Algebraic Computation","location":"Kalamata Greece"},"container-title":["Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373207.3404049","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373207.3404049","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:46Z","timestamp":1750203886000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373207.3404049"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,20]]},"references-count":31,"alternative-id":["10.1145\/3373207.3404049","10.1145\/3373207"],"URL":"https:\/\/doi.org\/10.1145\/3373207.3404049","relation":{},"subject":[],"published":{"date-parts":[[2020,7,20]]},"assertion":[{"value":"2020-07-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}