{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,14]],"date-time":"2023-09-14T10:41:40Z","timestamp":1694688100187},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s11424-019-8349-z","type":"journal-article","created":{"date-parts":[[2019,2,14]],"date-time":"2019-02-14T05:53:25Z","timestamp":1550123605000},"page":"185-204","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Hybrid Procedure for Finding Real Points on a Real Algebraic Set"],"prefix":"10.1007","volume":"32","author":[{"given":"Yu","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bican","family":"Xia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,2,14]]},"reference":[{"key":"8349_CR1","first-page":"134","volume-title":"Automata Theory and Formal Languages, LNCS 33","author":"G Collins","year":"1975","unstructured":"Collins G, Quantifier elimination for real closed fields by cylindrical algebraic decompostion, Automata Theory and Formal Languages, LNCS 33, Springer, 1975, 134\u2013183."},{"key":"8349_CR2","doi-asserted-by":"publisher","first-page":"365","DOI":"10.2307\/1969640","volume":"60","author":"A Seidenberg","year":"1954","unstructured":"Seidenberg A, A new decision method for elementary algebra, Annals of Mathematics, 1954, 60: 365\u2013374.","journal-title":"Annals of Mathematics"},{"key":"8349_CR3","first-page":"224","volume-title":"Proc. ISSAC\u201903","author":"M Safey El Din","year":"2003","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, Proc. ISSAC\u201903, Philadelphia, 2003, 224\u2013231."},{"key":"8349_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1145\/2930889.2930929","volume-title":"Proc. ISSAC\u2019 16","author":"M Safey El Din","year":"2016","unstructured":"Safey El Din M and Spaenlehauer P J, Critical point computations on smooth varieties: Degree and complexity bounds, Proc. ISSAC\u2019 16, New York, 2016, 183\u2013190."},{"key":"8349_CR5","first-page":"519","volume":"40","author":"B Bank","year":"2004","unstructured":"Bank B, Giusti M, Heintz J, et al., Generalized polar varieties and an efficient real elimination, Kybernetika, 2004, 40: 519\u2013550.","journal-title":"Kybernetika"},{"key":"8349_CR6","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/j.jco.2004.10.001","volume":"21","author":"B Bank","year":"2005","unstructured":"Bank B, Giusti M, Heintz J, et al., Generalized polar varieties: Geometry and algorithms, Journal of Complexity, 2005, 21: 377\u2013412.","journal-title":"Journal of Complexity"},{"key":"8349_CR7","doi-asserted-by":"publisher","first-page":"716","DOI":"10.1006\/jcom.2000.0563","volume":"16","author":"F Rouillier","year":"2000","unstructured":"Rouillier F, Roy M F, and Safey El Din M, Finding at least one point in each connected component of a real algebraic set defined by a single equation, Journal of Complexity, 2000, 16: 716\u2013750.","journal-title":"Journal of Complexity"},{"key":"8349_CR8","first-page":"417","volume":"32","author":"E Safey","year":"2004","unstructured":"Safey El, Din M, and Schost E, Properness defects of projections and computation of at leastone point in each connected component of a real algebraic set, Discrete & Computational Geometry, 2004, 32: 417\u2013430.","journal-title":"Discrete & Computational Geometry"},{"key":"8349_CR9","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1090\/S0025-5718-1993-1160275-5","volume":"60","author":"T Y Li","year":"1993","unstructured":"Li T Y and Wang X, Solving real polynomial systems with real homotopies, Mathematics of Computation, 1993, 60: 669\u2013680.","journal-title":"Mathematics of Computation"},{"key":"8349_CR10","volume-title":"Numerically validating the completeness of the real solution set of a system of polynomial equations","author":"D A Brake","year":"2016","unstructured":"Brake D A, Hauenstein J D, and Liddell A C, Numerically validating the completeness of the real solution set of a system of polynomial equations, arXiv: 1602.00700v1, 2016."},{"key":"8349_CR11","doi-asserted-by":"publisher","first-page":"2381","DOI":"10.1137\/15M1052548","volume":"27","author":"D Cifuentes","year":"2015","unstructured":"Cifuentes D and Parrilo P A, Sampling algebraic varieties for sum of squares programs, SIAM Journal on Optimization, 2015, 27: 2381\u20132404.","journal-title":"SIAM Journal on Optimization"},{"key":"8349_CR12","volume-title":"Algebra, Geometry and Their Interactions","author":"Y Lu","year":"2006","unstructured":"Lu Y, Bates D J, Sommese A J, et al., Finding all real points of a complex curve, Algebra, Geometry and Their Interactions, 2006."},{"issue":"5","key":"8349_CR13","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/s10208-011-9097-1","volume":"11","author":"D J Bates","year":"2011","unstructured":"Bates D J and Sottile F, Khovanskii-rolle continuation for real solutions, Found. Comput. Math., 2011, 11(5): 563\u2013587.","journal-title":"Found. Comput. Math."},{"key":"8349_CR14","doi-asserted-by":"publisher","first-page":"1017","DOI":"10.1007\/s11075-012-9646-y","volume":"63","author":"G M Besana","year":"2013","unstructured":"Besana G M, Rocco S, Hauenstein J D, et al., Cell decomposition of almost smooth real algebraic surfaces, Numer. Algorithms, 2013, 63: 1017\u20131398.","journal-title":"Numer. Algorithms"},{"key":"8349_CR15","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/s10440-012-9782-3","volume":"125","author":"J D Hauenstein","year":"2013","unstructured":"Hauenstein J D, Numerically computing real points on algebraic sets, Acta Applicandae Mathematicae, 2013, 125: 105\u2013119.","journal-title":"Acta Applicandae Mathematicae"},{"key":"8349_CR16","first-page":"339","volume-title":"Proc. ISSAC\u201913","author":"W Wu","year":"2013","unstructured":"Wu W and Reid G, Finding points on real solution components and applications to differential polynomial systems, Proc. ISSAC\u201913, Boston, 2013, 339\u2013346."},{"key":"8349_CR17","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-319-99957-9_12","volume-title":"Artificial Intelligence and Symbolic Computation","author":"Y Wang","year":"2018","unstructured":"Wang Y, Wu W, and Xia B, Early ending in homotopy path-tracking for real roots, Artificial Intelligence and Symbolic Computation, LNCS 11110, Eds. by Fleuriot J, Wang D, and Calmet J, Suzhou, 2018, 181\u2013194."},{"key":"8349_CR18","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-662-43799-5_26","volume-title":"Computer Mathematics: 9th Asian Symposium (ASCM 2009)","author":"F Shen","year":"2014","unstructured":"Shen F, Wu W, and Xia B, Real root isolation of polynomial equations based on hybrid computation, Computer Mathematics: 9th Asian Symposium (ASCM 2009), Eds. by Feng R, Lee W S, and Sato Y, Beijing, 2014, 375\u2013396."},{"key":"8349_CR19","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-0348-0439-4_9","volume-title":"Traces and Emergence of Nonlinear Programming","author":"F John","year":"2014","unstructured":"John F, Extremum problems with inequalities as subsidiary conditions, Traces and Emergence of Nonlinear Programming, Eds. by Giorgi G and Kjeldsen T, Springer Basel, 2014, 197\u2013215."},{"key":"8349_CR20","first-page":"749","volume-title":"The Mathematics of Numerical Analysis","author":"A J Sommese","year":"1996","unstructured":"Sommese A J, Verschelde J, and Wampler C W, Numerical algebraic geometry, The Mathematics of Numerical Analysis, volume 32 of Lectures in Applied Mathematics, AMS, 1996, 749\u2013763."},{"key":"8349_CR21","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0096-3003(89)90099-4","volume":"29","author":"A P Morgan","year":"1989","unstructured":"Morgan A P and Sommese A J, Coefficient-parameter polynomial continuation, Applied Mathematics and Computation, 1989, 29: 123\u2013160.","journal-title":"Applied Mathematics and Computation"},{"key":"8349_CR22","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1017\/S0962492900002749","volume":"6","author":"T Y Li","year":"1997","unstructured":"Li T Y, Numerical solution of multivariate polynomial systems by homotopy continuation methods, Acta Numerica, 1997, 6: 399\u2013436.","journal-title":"Acta Numerica"},{"key":"8349_CR23","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-319-66320-3_26","volume-title":"Computer Algebra in Scientific Computing","author":"Y Wang","year":"2017","unstructured":"Wang Y, Wu W, and Xia B, A special homotopy continuation method for a class of polynomial systems, Computer Algebra in Scientific Computing, Eds. by Gerdt V P, Koepf W, Seiler W M, et al., Springer, 2017, 362\u2013376."},{"key":"8349_CR24","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BF01075595","volume":"9","author":"D N Bernshtein","year":"1975","unstructured":"Bernshtein D N, The number of roots of a system of equations, Functional Analysis and Its Applications, 1975, 9: 183\u2013185.","journal-title":"Functional Analysis and Its Applications"},{"key":"8349_CR25","volume-title":"Methods and Application of Interval Analysis","author":"R E Moore","year":"1995","unstructured":"Moore R E, Methods and Application of Interval Analysis, Philadelphia, SIAM, 1995."},{"key":"8349_CR26","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/BF02234767","volume":"4","author":"R Krawczyk","year":"1969","unstructured":"Krawczyk R, Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken, Computing, 1969, 4: 187\u2013201.","journal-title":"Computing"},{"key":"8349_CR27","doi-asserted-by":"publisher","first-page":"1051","DOI":"10.1137\/0714072","volume":"14","author":"R E Moore","year":"1977","unstructured":"Moore R E and Jones S T, Safe starting regions for iterative methods, SIAM Journal on Numerical Analysis, 1977, 14: 1051\u20131065.","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"8349_CR28","first-page":"1237","volume":"59","author":"L V Kantorovich","year":"1948","unstructured":"Kantorovich L V, On Newton\u2019s method for functional equations, Dokl. Akad. Nauk SSSR, 1948, 59: 1237\u20131240.","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"8349_CR29","doi-asserted-by":"crossref","unstructured":"Rump S M, INTLAB \u2014 INTerval LABoratory, Developments in Reliable Computing, Ed. by Csendes T, Kluwer Academic Publishers, Dordrecht, 1999, 77\u2013104.","DOI":"10.1007\/978-94-017-1247-7_7"}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11424-019-8349-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-019-8349-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-019-8349-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:39:30Z","timestamp":1694623170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11424-019-8349-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["8349"],"URL":"https:\/\/doi.org\/10.1007\/s11424-019-8349-z","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2]]},"assertion":[{"value":"31 August 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 October 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 February 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}