{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T17:14:36Z","timestamp":1725988476773},"publisher-location":"Cham","reference-count":50,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319999562"},{"type":"electronic","value":"9783319999579"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99957-9_12","type":"book-chapter","created":{"date-parts":[[2018,8,21]],"date-time":"2018-08-21T04:26:31Z","timestamp":1534825591000},"page":"181-194","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Early Ending in Homotopy Path-Tracking for Real Roots"],"prefix":"10.1007","author":[{"given":"Yu","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenyuan","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bican","family":"Xia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,22]]},"reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF01582106","volume":"16","author":"CB Garcia","year":"1979","unstructured":"Garcia, C.B., Zangwill, W.I.: Finding all solutions to polynomial systems and other systems of equations. Math. Program. 16(1), 159\u2013176 (1979)","journal-title":"Math. Program."},{"issue":"1","key":"12_CR2","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01389312","volume":"29","author":"FJ Drexler","year":"1977","unstructured":"Drexler, F.J.: Eine methode zur berechnung s\u00e4mtlicher l\u00f6sungen von polynomgleichungssystemen. Numerische Mathematik 29(1), 45\u201358 (1977)","journal-title":"Numerische Mathematik"},{"key":"12_CR3","unstructured":"Sommese, A.J., Verschelde, J., Wampler, C.W.: Numerical algebraic geometry. In: The Mathematics of Numerical Analysis. Lectures in Applied Mathematics, vol. 32, pp. 749\u2013763 AMS (1996)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Allgower, E.L., Georg, K.: Introduction to numerical continuation methods. Reprint of the 1979 Original. Society for Industrial and Applied Mathematics (2003)","DOI":"10.1137\/1.9780898719154"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Li, T.Y.: Numerical solution of polynomial systems by homotopy continuation methods. In: Handbook of Numerical Analysis, vol. 11, pp. 209\u2013304. Elsevier (2003)","DOI":"10.1016\/S1570-8659(02)11004-0"},{"key":"12_CR6","doi-asserted-by":"publisher","DOI":"10.1142\/5763","volume-title":"The Numerical Solution of Systems of Polynomials Arising in Engineering and Science","author":"AJ Sommese","year":"2005","unstructured":"Sommese, A.J., Wampler, C.W.: The Numerical Solution of Systems of Polynomials Arising in Engineering and Science. World Scientific, Singapore (2005)"},{"key":"12_CR7","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898719031","volume-title":"Solving Polynominal Systems Using Continuation for Engineering and Scientific Problems","author":"A Morgan","year":"2009","unstructured":"Morgan, A.: Solving Polynominal Systems Using Continuation for Engineering and Scientific Problems. Society for Industrial and Applied Mathematics, Philadelphia (2009)"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1016\/j.jsc.2016.07.015","volume":"79","author":"JD Hauenstein","year":"2017","unstructured":"Hauenstein, J.D., Sommese, A.J.: What is numerical algebraic geometry? J. Symb. Comput. 79, 499\u2013507 (2017). SI: Numerical Algebraic Geometry","journal-title":"J. Symb. Comput."},{"issue":"212","key":"12_CR9","doi-asserted-by":"publisher","first-page":"1541","DOI":"10.1090\/S0025-5718-1995-1297471-4","volume":"64","author":"B Huber","year":"1995","unstructured":"Huber, B., Sturmfels, B.: A polyhedral method for solving sparse polynomial systems. Math. Comput. 64(212), 1541\u20131555 (1995)","journal-title":"Math. Comput."},{"issue":"2","key":"12_CR10","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/BF02770870","volume":"17","author":"B Huber","year":"1997","unstructured":"Huber, B., Sturmfels, B.: Bernstein\u2019s theorem in affine space. Discret. Comput. Geom. 17(2), 137\u2013141 (1997)","journal-title":"Discret. Comput. Geom."},{"issue":"3","key":"12_CR11","doi-asserted-by":"publisher","first-page":"915","DOI":"10.1137\/0731049","volume":"31","author":"J Verschelde","year":"1994","unstructured":"Verschelde, J., Verlinden, P., Cools, R.: Homotopies exploiting newton polytopes for solving sparse polynomial systems. SIAM J. Numer. Anal. 31(3), 915\u2013930 (1994)","journal-title":"SIAM J. Numer. Anal."},{"key":"12_CR12","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611972702","volume-title":"Numerically Solving Polynomial Systems with Bertini","author":"DJ Bates","year":"2013","unstructured":"Bates, D.J., Haunstein, J.D., Sommese, A.J., Wampler, C.W.: Numerically Solving Polynomial Systems with Bertini. Society for Industrial and Applied Mathematics, Philadelphia (2013)"},{"issue":"2","key":"12_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s00607-008-0015-6","volume":"83","author":"TL Lee","year":"2008","unstructured":"Lee, T.L., Li, T.Y., Tsai, C.H.: HOM4PS-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method. Computing 83(2), 109 (2008)","journal-title":"Computing"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Leykin, A.: Numerical algebraic geometry for macaulay2. https:\/\/msp.org\/jsag\/2011\/3-1\/p02.xhtml","DOI":"10.2140\/jsag.2011.3.5"},{"issue":"2","key":"12_CR15","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1145\/317275.317286","volume":"25","author":"J Verschelde","year":"1999","unstructured":"Verschelde, J.: Algorithm 795: PHCpack: a general-purpose solver for polynomial systems by homotopy continuation. ACM Trans. Math. Softw. 25(2), 251\u2013276 (1999)","journal-title":"ACM Trans. Math. Softw."},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Automata Theory and Formal Languages","author":"GE Collins","year":"1975","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decompostion. In: Brakhage, H. (ed.) GI-Fachtagung 1975. LNCS, vol. 33, pp. 134\u2013183. Springer, Heidelberg (1975). https:\/\/doi.org\/10.1007\/3-540-07407-4_17"},{"issue":"2","key":"12_CR17","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. Ann. Math. 60(2), 365\u2013374 (1954)","journal-title":"Ann. Math."},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Safey El Din, M., Schost, E.: Polar varieties and computation of one point in each connected component of a smooth real algebraic set. In: Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation, ISSAC 2003, pp. 224\u2013231. ACM, New York (2003)","DOI":"10.1145\/860854.860901"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Safey El Din, M., Spaenlehauer, P.J.: Critical point computations on smooth varieties: degree and complexity bounds. In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, pp. 183\u2013190. ACM, New York (2016)","DOI":"10.1145\/2930889.2930929"},{"issue":"5","key":"12_CR20","first-page":"519","volume":"40","author":"B Bank","year":"2004","unstructured":"Bank, B., Giusti, M., Heintz, J., Pardo, L.M.: Generalized polar varieties and an efficient real elimination. Kybernetika 40(5), 519\u2013550 (2004)","journal-title":"Kybernetika"},{"issue":"4","key":"12_CR21","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., Pardo, L.: Generalized polar varieties: geometry and algorithms. J. Complex. 21(4), 377\u2013412 (2005)","journal-title":"J. Complex."},{"issue":"4","key":"12_CR22","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., Safey El Din, M.: Finding at least one point in each connected component of a real algebraic set defined by a single equation. J. Complex. 16(4), 716\u2013750 (2000)","journal-title":"J. Complex."},{"issue":"3","key":"12_CR23","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/s00454-004-1107-5","volume":"32","author":"MS El Din","year":"2004","unstructured":"El Din, M.S., Schost, \u00c9.: Properness defects of projections and computation of at leastone point in each connected component of a real algebraic set. Discret. Comput. Geom. 32(3), 417\u2013430 (2004)","journal-title":"Discret. Comput. Geom."},{"issue":"202","key":"12_CR24","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1090\/S0025-5718-1993-1160275-5","volume":"60","author":"TY Li","year":"1993","unstructured":"Li, T.Y., Wang, X.: Solving real polynomial systems with real homotopies. Math. Comput. 60(202), 669\u2013680 (1993)","journal-title":"Math. Comput."},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Brake, D.A., Hauenstein, J.D., Liddell, A.C.: Numerically validating the completeness of the real solution set of a system of polynomial equations, February 2016","DOI":"10.1145\/2930889.2930910"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Cifuentes, D., Parrilo, P.A.: Sampling algebraic varieties for sum of squares programs. 27, November 2015","DOI":"10.1137\/15M1052548"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Lu, Y., Bates, D.J., Sommese, A.J., Wampler, C.W.: Finding all real points of a complex curve. Technical report, In Algebra, Geometry and Their Interactions (2006)","DOI":"10.1090\/conm\/448\/08665"},{"issue":"5","key":"12_CR28","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/s10208-011-9097-1","volume":"11","author":"DJ Bates","year":"2011","unstructured":"Bates, D.J., Sottile, F.: Khovanskii-Rolle continuation for real solutions. Found. Comput. Math. 11(5), 563\u2013587 (2011)","journal-title":"Found. Comput. Math."},{"issue":"4","key":"12_CR29","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1007\/s11075-012-9646-y","volume":"63","author":"GM Besana","year":"2013","unstructured":"Besana, G.M., Rocco, S., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Cell decomposition of almost smooth real algebraic surfaces. Numer. Algorithms 63(4), 645\u2013678 (2013)","journal-title":"Numer. Algorithms"},{"issue":"1","key":"12_CR30","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/s10440-012-9782-3","volume":"125","author":"JD Hauenstein","year":"2013","unstructured":"Hauenstein, J.D.: Numerically computing real points on algebraic sets. Acta Applicandae Mathematicae 125(1), 105\u2013119 (2013)","journal-title":"Acta Applicandae Mathematicae"},{"key":"12_CR31","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-662-43799-5_26","volume-title":"Computer Mathematics","author":"F Shen","year":"2014","unstructured":"Shen, F., Wu, W., Xia, B.: Real root isolation of polynomial equations based on hybrid computation. In: Feng, R., Lee, W., Sato, Y. (eds.) ASCM 2009, pp. 375\u2013396. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-43799-5_26"},{"key":"12_CR32","series-title":"Lecture Notes in Computer Science","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., Xia, B.: A special homotopy continuation method for a class of polynomial systems. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) CASC 2017. LNCS, vol. 10490, pp. 362\u2013376. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66320-3_26"},{"key":"12_CR33","doi-asserted-by":"crossref","unstructured":"Wu, W., Reid, G.: Finding points on real solution components and applications to differential polynomial systems. In: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, ISSAC 2013, pp. 339\u2013346. ACM, New York (2013)","DOI":"10.1145\/2465506.2465954"},{"key":"12_CR34","first-page":"19","volume":"332","author":"JD Hauenstein","year":"2018","unstructured":"Hauenstein, J.D., Regan, M.H.: Adaptive strategies for solving parameterized systems using homotopy continuation. Appl. Math. Comput. 332, 19\u201334 (2018)","journal-title":"Appl. Math. Comput."},{"issue":"2","key":"12_CR35","first-page":"123","volume":"29","author":"AP Morgan","year":"1989","unstructured":"Morgan, A.P., Sommese, A.J.: Coefficient-parameter polynomial continuation. Appl. Math. Comput. 29(2), 123\u2013160 (1989)","journal-title":"Appl. Math. Comput."},{"key":"12_CR36","doi-asserted-by":"crossref","unstructured":"Li, T.Y.: Numerical solution of multivariate polynomial systems by homotopy continuation methods. 6, 399\u2013436, January 1997","DOI":"10.1017\/S0962492900002749"},{"key":"12_CR37","doi-asserted-by":"crossref","unstructured":"Chow, S.N., Mallet-Paret, J., Yorke, J.A.: A homotopy method for locating all zeros of a system of polynomials. 730, January 1979","DOI":"10.1007\/BFb0064312"},{"issue":"1","key":"12_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/356022.356023","volume":"9","author":"AP Morgan","year":"1983","unstructured":"Morgan, A.P.: A method for computing all solutions to systems of polynomials equations. ACM Trans. Math. Softw. 9(1), 1\u201317 (1983)","journal-title":"ACM Trans. Math. Softw."},{"issue":"169","key":"12_CR39","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1090\/S0025-5718-1985-0771035-4","volume":"44","author":"AH Wright","year":"1985","unstructured":"Wright, A.H.: Finding all solutions to a system of polynomial equations. Math. Comput. 44(169), 125\u2013133 (1985)","journal-title":"Math. Comput."},{"issue":"181","key":"12_CR40","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1090\/S0025-5718-1988-0917824-7","volume":"50","author":"W Zulehner","year":"1988","unstructured":"Zulehner, W.: A simple homotopy method for determining all isolated solutions to polynomial systems. Math. Comput. 50(181), 167\u2013177 (1988)","journal-title":"Math. Comput."},{"issue":"2","key":"12_CR41","first-page":"101","volume":"24","author":"A Morgan","year":"1987","unstructured":"Morgan, A., Sommese, A.: A homotopy for solving general polynomial systems that respects m-homogeneous structures. Appl. Math. Comput. 24(2), 101\u2013113 (1987)","journal-title":"Appl. Math. Comput."},{"key":"12_CR42","doi-asserted-by":"crossref","unstructured":"Wampler, C., P. Morgan, A., Sommese, A.: Complete solution of the nine-point path synthesis problem for four-bar linkages. 114, March 1992","DOI":"10.1115\/1.2916909"},{"issue":"2","key":"12_CR43","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1137\/0730028","volume":"30","author":"J Verschelde","year":"1993","unstructured":"Verschelde, J., Haegemans, A.: The GBQ-algorithm for constructing start systems of homotopies for polynomial systems. SIAM J. Numer. Anal. 30(2), 583\u2013594 (1993)","journal-title":"SIAM J. Numer. Anal."},{"key":"12_CR44","doi-asserted-by":"crossref","unstructured":"Verschelde, J., Cools, R.: Symbolic homotopy construction. 4, 169\u2013183, September 1993","DOI":"10.1007\/BF01202036"},{"key":"12_CR45","unstructured":"Morgan, A.P., Sommese, A., Wampler, C.: A product-decomposition theorem for bounding Bezout numbers, March 2018"},{"issue":"3","key":"12_CR46","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BF01075595","volume":"9","author":"DN Bernshtein","year":"1975","unstructured":"Bernshtein, D.N.: The number of roots of a system of equations. Funct. Anal. Appl. 9(3), 183\u2013185 (1975)","journal-title":"Funct. Anal. Appl."},{"issue":"273","key":"12_CR47","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1090\/S0025-5718-2010-02399-3","volume":"80","author":"JD Hauenstein","year":"2011","unstructured":"Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Regeneration homotopies for solving systems of polynomials. Math. Comp. 80(273), 345\u2013377 (2011)","journal-title":"Math. Comp."},{"issue":"1","key":"12_CR48","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1023\/A:1019163811284","volume":"18","author":"B Huber","year":"1998","unstructured":"Huber, B., Verschelde, J.: Polyhedral end games for polynomial continuation. Numer. Algorithms 18(1), 91\u2013108 (1998)","journal-title":"Numer. Algorithms"},{"key":"12_CR49","doi-asserted-by":"crossref","unstructured":"Sosonkina, M., Watson, L.T., Stewart, D.: Note on the end game in homotopy zero curve tracking. 22, 281\u2013287, September 1996","DOI":"10.1145\/232826.232843"},{"key":"12_CR50","unstructured":"Gerdt, V., Blinkov, Y., Yanovich, D.: GINV Project. http:\/\/invo.jinr.ru\/ginv\/"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99957-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,7]],"date-time":"2020-11-07T21:00:29Z","timestamp":1604782829000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99957-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319999562","9783319999579"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99957-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}