{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T02:40:02Z","timestamp":1778294402234,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,11]],"date-time":"2018-07-11T00:00:00Z","timestamp":1531267200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["11571350"],"award-info":[{"award-number":["11571350"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005304","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-17-CE40-0009"],"award-info":[{"award-number":["ANR-17-CE40-0009"]}],"id":[{"id":"10.13039\/501100005304","id-type":"DOI","asserted-by":"publisher"}]},{"name":"PGMO"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,11]]},"DOI":"10.1145\/3208976.3209002","type":"proceedings-article","created":{"date-parts":[[2018,7,12]],"date-time":"2018-07-12T17:46:44Z","timestamp":1531417604000},"page":"351-358","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["On the Complexity of Computing Real Radicals of Polynomial Systems"],"prefix":"10.1145","author":[{"given":"Mohab","family":"Safey El Din","sequence":"first","affiliation":[{"name":"Sorbonne Universit\u00e9, CNRS, INRIA, LIP6, \u00c9quipe PolSys, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhi-Hong","family":"Yang","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lihong","family":"Zhi","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Algorithms in Real Algebraic Geometry","author":"Basu S.","unstructured":"Basu , S. , Pollack , R. , Roy , M.-F. , 2006. Algorithms in Real Algebraic Geometry . Springer Berlin Heidelberg , Berlin, Heidelberg . Basu, S., Pollack, R., Roy, M.-F., 2006. Algorithms in Real Algebraic Geometry. Springer Berlin Heidelberg, Berlin, Heidelberg."},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"Computational Algebraic Geometry.","author":"Becker E.","unstructured":"Becker , E. , Neuhaus , R. , 1993. Computation of real radicals of polynomial ideals . In: Eyssette, F., Galligo, A. (Eds.), Computational Algebraic Geometry. Vol. 109 . Birkhauser , Boston, MA , pp. 1 -- 20 . Becker, E., Neuhaus, R., 1993. Computation of real radicals of polynomial ideals. In: Eyssette, F., Galligo, A. (Eds.), Computational Algebraic Geometry. Vol. 109. Birkhauser, Boston, MA, pp. 1--20."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.02.002"},{"key":"e_1_3_2_1_4_1","volume-title":"Real algebraic geometry","author":"Bochnak J.","unstructured":"Bochnak , J. , Coste , M. , Roy , M.-F. , 1998. Real algebraic geometry . Vol. 36 . Springer , Berlin, Heidelberg . Bochnak, J., Coste, M., Roy, M.-F., 1998. Real algebraic geometry. Vol. 36. Springer, Berlin, Heidelberg."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930910"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837972"},{"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","doi-asserted-by":"publisher","DOI":"10.1145\/1993886.1993903"},{"key":"e_1_3_2_1_9_1","volume-title":"varieties, and algorithms","author":"Cox D.","unstructured":"Cox , D. , Little , J. , O'Shea , D. , 1992. Ideals , varieties, and algorithms . Vol. 3 . Springer . Cox, D., Little, J., O'Shea, D., 1992. Ideals, varieties, and algorithms. Vol. 3. Springer."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.exmath.2007.07.001"},{"key":"e_1_3_2_1_11_1","volume-title":"Commutative Algebra: with a View Toward Algebraic Geometry","author":"Eisenbud D.","unstructured":"Eisenbud , D. , 1995. Commutative Algebra: with a View Toward Algebraic Geometry . Vol. 150 . Springer New York , New York, NY . Eisenbud, D., 1995. Commutative Algebra: with a View Toward Algebraic Geometry. Vol. 150. Springer New York, New York, NY."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/3116258.3116373"},{"key":"e_1_3_2_1_13_1","article-title":"The Chow form of the essential variety in computer vision","author":"Fl\u00f8ystad G.","year":"2017","unstructured":"Fl\u00f8ystad , G. , Kileel , J. , Ottaviani , G. , 2017 . The Chow form of the essential variety in computer vision . Journal of Symbolic Computation. Fl\u00f8ystad, G., Kileel, J., Ottaviani, G., 2017. The Chow form of the essential variety in computer vision. Journal of Symbolic Computation.","journal-title":"Journal of Symbolic Computation."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Gelfand I. M. Kapranov M. M. Zelevinsky A. V. 1994. Discriminants Resultants and Multidimensional Determinants. Birkhauser Boston Boston MA.  Gelfand I. M. Kapranov M. M. Zelevinsky A. V. 1994. Discriminants Resultants and Multidimensional Determinants. Birkhauser Boston Boston MA.","DOI":"10.1007\/978-0-8176-4771-1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.2000.0571"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/3115490.3115873"},{"key":"e_1_3_2_1_18_1","first-page":"375","article-title":"Factorization of polynomials given by straight-line programs","volume":"5","author":"Kaltofen E.","year":"1989","unstructured":"Kaltofen , E. , 1989 . Factorization of polynomials given by straight-line programs . Randomness and Computation 5 , 375 -- 412 . Kaltofen, E., 1989. Factorization of polynomials given by straight-line programs. Randomness and Computation 5, 375--412.","journal-title":"Randomness and Computation"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390792"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80015-6"},{"key":"e_1_3_2_1_21_1","first-page":"96","article-title":"Straight-line programs in polynomial equation solving. Foundations of computational mathematics","volume":"312","author":"Krick T.","year":"2002","unstructured":"Krick , T. , 2002 . Straight-line programs in polynomial equation solving. Foundations of computational mathematics : Minneapolis 312 , 96 -- 136 . Krick, T., 2002. Straight-line programs in polynomial equation solving. Foundations of computational mathematics: Minneapolis 312, 96--136.","journal-title":"Minneapolis"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2012.03.007"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/3115443.3115594"},{"key":"e_1_3_2_1_24_1","first-page":"577","article-title":"On the discriminant of real symmetric matrices","author":"Lax P.","year":"2005","unstructured":"Lax , P. , 2005 . On the discriminant of real symmetric matrices . Selected Papers Volume II , 577 -- 586 . Lax, P., 2005. On the discriminant of real symmetric matrices. Selected Papers Volume II, 577--586.","journal-title":"Selected Papers"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(91)90113-B"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/345542.345633"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0885-064X(03)00031-1"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2014.12.002"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Marshall M. 2008. Positive polynomials and sums of squares. No. 146. American Mathematical Soc.  Marshall M. 2008. Positive polynomials and sums of squares. No. 146. American Mathematical Soc.","DOI":"10.1090\/surv\/146"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(96)00103-X"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2012.05.008"},{"key":"e_1_3_2_1_33_1","volume-title":"MEGA (Effective Methods in Algebraic Geometry) Electronic proceedings.","author":"Safey El Din M.","year":"2005","unstructured":"Safey El Din , M. , 2005 . Finding sampling points on real hypersurfaces is easier in singular situations . MEGA (Effective Methods in Algebraic Geometry) Electronic proceedings. Safey El Din, M., 2005. Finding sampling points on real hypersurfaces is easier in singular situations. MEGA (Effective Methods in Algebraic Geometry) Electronic proceedings."},{"key":"e_1_3_2_1_34_1","unstructured":"Safey El Din M. 2007. RAGLib (Real Algebraic Geometry Library) Maple package.  Safey El Din M. 2007. RAGLib (Real Algebraic Geometry Library) Maple package."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-007-0003-9"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860901"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00454-004-1107-5"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2996450"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-002-0109-x"},{"issue":"1","key":"e_1_3_2_1_41_1","first-page":"64","article-title":"A zero-dimensional approach to compute real radicals","volume":"16","author":"Spang S. J.","year":"2008","unstructured":"Spang , S. J. , 2008 . A zero-dimensional approach to compute real radicals . The Computer Science Journal of Moldova 16 ( 1 ), 64 -- 92 . Spang, S. J., 2008. A zero-dimensional approach to compute real radicals. The Computer Science Journal of Moldova 16 (1), 64--92.","journal-title":"The Computer Science Journal of Moldova"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0177"},{"key":"e_1_3_2_1_43_1","first-page":"207","article-title":"Basic principles of mechanical theorem proving in elementary geometries","volume":"4","author":"Wu W.-T.","year":"1984","unstructured":"Wu , W.-T. , 1984 . Basic principles of mechanical theorem proving in elementary geometries . Journal of Systems Science and Mathematical Sciences 4 , 207 -- 235 . Wu, W.-T., 1984. Basic principles of mechanical theorem proving in elementary geometries. Journal of Systems Science and Mathematical Sciences 4, 207--235.","journal-title":"Journal of Systems Science and Mathematical Sciences"}],"event":{"name":"ISSAC '18: International Symposium on Symbolic and Algebraic Computation","location":"New York NY USA","acronym":"ISSAC '18","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3208976.3209002","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3208976.3209002","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:49Z","timestamp":1750208929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3208976.3209002"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,11]]},"references-count":40,"alternative-id":["10.1145\/3208976.3209002","10.1145\/3208976"],"URL":"https:\/\/doi.org\/10.1145\/3208976.3209002","relation":{},"subject":[],"published":{"date-parts":[[2018,7,11]]},"assertion":[{"value":"2018-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}