{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:27Z","timestamp":1750306707824,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T00:00:00Z","timestamp":1406505600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002367","name":"Chinese Academy of Sciences","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002367","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Chongqing Key Laboratory of Automated Reasoning and Cognition"},{"DOI":"10.13039\/501100002855","name":"Ministry of Science and Technology of the People's Republic of China","doi-asserted-by":"publisher","award":["2011CB302402"],"award-info":[{"award-number":["2011CB302402"]}],"id":[{"id":"10.13039\/501100002855","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,7,28]]},"DOI":"10.1145\/2631948.2631969","type":"proceedings-article","created":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T12:10:42Z","timestamp":1405080642000},"page":"111-117","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Numerical and geometric properties of a method for finding points on real solution components"],"prefix":"10.1145","author":[{"given":"Wenyuan","family":"Wu","sequence":"first","affiliation":[{"name":"Chongqing Institute of Green and Intelligent Technology, CAS"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Greg","family":"Reid","sequence":"additional","affiliation":[{"name":"University of Western Ontario, London, Ontario Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"Feng","sequence":"additional","affiliation":[{"name":"Chongqing Institute of Green and Intelligent Technology, CAS"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-33099-2","volume-title":"Algorithms in real algebraic geometry","author":"Basu S.","year":"2006","unstructured":"S. Basu , R. Pollack and M-F Roy , Algorithms in real algebraic geometry . 2 nd edition. Algorithms and Computation in Math., 10. Springer-Verlag , 2006 . S. Basu, R. Pollack and M-F Roy, Algorithms in real algebraic geometry. 2nd edition. Algorithms and Computation in Math., 10. Springer-Verlag, 2006.","edition":"2"},{"key":"e_1_3_2_1_2_1","volume-title":"Numerically Solving Polynomial Systems with the Software Package Bertini. In preparation. To be published by SIAM","author":"Bates D. J.","year":"2013","unstructured":"D. J. Bates , J. D. Hauenstein , A. J. Sommese , and C. W. Wampler , Numerically Solving Polynomial Systems with the Software Package Bertini. In preparation. To be published by SIAM , 2013 . D. J. Bates, J. D. Hauenstein, A. J. Sommese, and C. W. Wampler, Numerically Solving Polynomial Systems with the Software Package Bertini. In preparation. To be published by SIAM, 2013."},{"key":"e_1_3_2_1_3_1","first-page":"253","volume-title":"Foundations of Computational Mathematics","volume":"13","author":"Beltran Carlos","year":"2013","unstructured":"Carlos Beltran , Anton Leykin . Robust Certified Numerical Homotopy Tracking . Foundations of Computational Mathematics April 2013 , Volume 13 , Issue 2 , pp 253 -- 295 . Carlos Beltran, Anton Leykin. Robust Certified Numerical Homotopy Tracking. Foundations of Computational Mathematics April 2013, Volume 13, Issue 2, pp 253--295."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0701-6","volume-title":"Complexity and Real Computation","author":"Blum L.","year":"1998","unstructured":"L. Blum , F. Cucker , M. Shub , and S. Samle , Complexity and Real Computation . Springer-Verlag 1998 . L. Blum, F. Cucker, M. Shub, and S. Samle, Complexity and Real Computation. Springer-Verlag 1998."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11075-012-9646-y"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.014"},{"key":"e_1_3_2_1_7_1","first-page":"515","article-title":"Quantifier elimination for real closed fields by cylindrical algebraic decomposition","volume":"33","author":"Collins G.","year":"1975","unstructured":"G. Collins , Quantifier elimination for real closed fields by cylindrical algebraic decomposition . Springer Lec. Notes Comp. Sci. v 33 . 515 -- 532 , 1975 . G. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Springer Lec. Notes Comp. Sci. v 33. 515--532, 1975.","journal-title":"Springer Lec. Notes Comp. Sci."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80004-X"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0161"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10440-012-9782-3"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.03.024"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/448\/08665"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442829.2442866"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.2000.0563"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.2307\/1969640"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1142\/5763"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.4064\/fm-17-1-210-239"},{"key":"e_1_3_2_1_19_1","first-page":"99","volume-title":"SVD and signal processing, II: Algorithms, analysys and applications","author":"Stewart G. W.","year":"1990","unstructured":"G. W. Stewart . Perturbation Theory for the Singular Value Decomposition . In SVD and signal processing, II: Algorithms, analysys and applications , pp 99 -- 109 , Elsevier , 1990 . G. W. Stewart. Perturbation Theory for the Singular Value Decomposition. In SVD and signal processing, II: Algorithms, analysys and applications, pp 99--109, Elsevier, 1990."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465506.2465954"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465506.2465951"}],"event":{"name":"SNC '14: Symbolic-Numeric Computation 2014","sponsor":["973 Program National Basic Research Program of China","KLMM Key Laboratory of Mathematics Mechanization","MapleSoft","ORCCA Ontario Research Centre for Computer Algebra","NSFC Natural Science Foundation of China","Chinese Academy of Engineering Chinese Academy of Engineering","NAG Numerical Algorithms Group","ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Shanghai China","acronym":"SNC '14"},"container-title":["Proceedings of the 2014 Symposium on Symbolic-Numeric Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2631948.2631969","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2631948.2631969","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:13Z","timestamp":1750231153000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2631948.2631969"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,28]]},"references-count":20,"alternative-id":["10.1145\/2631948.2631969","10.1145\/2631948"],"URL":"https:\/\/doi.org\/10.1145\/2631948.2631969","relation":{},"subject":[],"published":{"date-parts":[[2014,7,28]]},"assertion":[{"value":"2014-07-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}