{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:11:46Z","timestamp":1759133506997,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319986531"},{"type":"electronic","value":"9783319986548"}],"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-99639-4_7","type":"book-chapter","created":{"date-parts":[[2018,8,22]],"date-time":"2018-08-22T15:43:34Z","timestamp":1534952614000},"page":"99-115","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Continuation Method for Visualizing Planar Real Algebraic Curves with\u00a0Singularities"],"prefix":"10.1007","author":[{"given":"Changbo","family":"Chen","sequence":"first","affiliation":[]},{"given":"Wenyuan","family":"Wu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,23]]},"reference":[{"issue":"1","key":"7_CR1","first-page":"55","volume":"15","author":"C Bajaj","year":"1997","unstructured":"Bajaj, C., Xu, G.: Piecewise rational approximations of real algebraic curves. J. Comput. Math. 15(1), 55\u201371 (1997)","journal-title":"J. Comput. Math."},{"issue":"2","key":"7_CR2","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s10208-013-9143-2","volume":"13","author":"C Beltr\u00e1n","year":"2013","unstructured":"Beltr\u00e1n, C., Leykin, A.: Robust certified numerical homotopy tracking. Found. Comput. Math. 13(2), 253\u2013295 (2013)","journal-title":"Found. Comput. Math."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bennett, H., Papadopoulou, E., Yap, C.: Planar minimization diagrams via subdivision with applications to anisotropic Voronoi diagrams. Comput. Graph. Forum 35 (2016)","DOI":"10.1111\/cgf.12979"},{"key":"7_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0701-6","volume-title":"Complexity and Real Computation","author":"L Blum","year":"1998","unstructured":"Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and Real Computation. Springer, Secaucus (1998). https:\/\/doi.org\/10.1007\/978-1-4612-0701-6"},{"issue":"2","key":"7_CR5","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1145\/359423.359432","volume":"20","author":"J Bresenham","year":"1977","unstructured":"Bresenham, J.: A linear algorithm for incremental digital display of circular arcs. Commun. ACM 20(2), 100\u2013106 (1977)","journal-title":"Commun. ACM"},{"issue":"2","key":"7_CR6","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/j.jsc.2011.08.021","volume":"47","author":"M Burr","year":"2012","unstructured":"Burr, M., Choi, S.W., Galehouse, B., Yap, C.K.: Complete subdivision algorithms, II: isotopic meshing of singular algebraic curves. J. Symb. Comput. 47(2), 131\u2013152 (2012)","journal-title":"J. Symb. Comput."},{"issue":"2","key":"7_CR7","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/38.506","volume":"8","author":"RE Chandler","year":"1988","unstructured":"Chandler, R.E.: A tracking algorithm for implicitly defined curves. IEEE Comput. Graph. Appl. 8(2), 83\u201389 (1988)","journal-title":"IEEE Comput. Graph. Appl."},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jsc.2011.12.014","volume":"49","author":"C Chen","year":"2013","unstructured":"Chen, C., Davenport, J., May, J., Moreno Maza, M., Xia, B., Xiao, R.: Triangular decomposition of semi-algebraic systems. J. Symb. Comp. 49, 3\u201326 (2013)","journal-title":"J. Symb. Comp."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Chen, C., Wu, W.: A numerical method for analyzing the stability of bi-parametric biological systems. In: SYNASC 2016, pp. 91\u201398 (2016)","DOI":"10.1109\/SYNASC.2016.026"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-319-45641-6_11","volume-title":"Computer Algebra in Scientific Computing","author":"C Chen","year":"2016","unstructured":"Chen, C., Wu, W.: A numerical method for computing border curves of bi-parametric real polynomial systems and applications. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) CASC 2016. LNCS, vol. 9890, pp. 156\u2013171. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45641-6_11"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-319-66320-3_5","volume-title":"Computer Algebra in Scientific Computing","author":"C Chen","year":"2017","unstructured":"Chen, C., Wu, W., Feng, Y.: Full rank representation of real algebraic sets and applications. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) CASC 2017. LNCS, vol. 10490, pp. 51\u201365. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66320-3_5"},{"issue":"1","key":"7_CR12","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s11786-010-0044-3","volume":"4","author":"J Cheng","year":"2010","unstructured":"Cheng, J., Lazard, S., Pe\u00f1aranda, L., Pouget, M., Rouillier, F., Tsigaridas, E.: On the topology of real algebraic plane curves. Math. Comput. Sci. 4(1), 113\u2013137 (2010)","journal-title":"Math. Comput. Sci."},{"key":"7_CR13","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"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Daouda, D., Mourrain, B., Ruatta, O.: On the computation of the topology of a non-reduced implicit space curve. In: ISSAC 2008, pp. 47\u201354 (2008)","DOI":"10.1145\/1390768.1390778"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1007\/978-3-642-10331-5_57","volume-title":"Advances in Visual Computing","author":"P Emeliyanenko","year":"2009","unstructured":"Emeliyanenko, P., Berberich, E., Sagraloff, M.: Visualizing arcs of implicit algebraic curves, exactly and fast. In: Bebis, G., et al. (eds.) ISVC 2009. LNCS, vol. 5875, pp. 608\u2013619. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-10331-5_57"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/j.cag.2013.11.006","volume":"38","author":"AJ Gomes","year":"2014","unstructured":"Gomes, A.J.: A continuation algorithm for planar implicit curves with singularities. Comput. Graph. 38, 365\u2013373 (2014)","journal-title":"Comput. Graph."},{"issue":"1","key":"7_CR17","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/s10440-012-9782-3","volume":"125","author":"JD Hauenstein","year":"2012","unstructured":"Hauenstein, J.D.: Numerically computing real points on algebraic sets. Acta Applicandae Mathematicae 125(1), 105\u2013119 (2012)","journal-title":"Acta Applicandae Mathematicae"},{"issue":"4","key":"7_CR18","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1016\/S0378-4754(96)00034-1","volume":"42","author":"H Hong","year":"1996","unstructured":"Hong, H.: An efficient method for analyzing the topology of plane real algebraic curves. Math. Comput. Simul. 42(4), 571\u2013582 (1996)","journal-title":"Math. Comput. Simul."},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/j.jsc.2016.03.011","volume":"80","author":"R Imbach","year":"2017","unstructured":"Imbach, R., Moroz, G., Pouget, M.: A certified numerical algorithm for the topology of resultant and discriminant curves. J. Symb. Comput. 80, 285\u2013306 (2017)","journal-title":"J. Symb. Comput."},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-319-24021-3_19","volume-title":"Computer Algebra in Scientific Computing","author":"K Jin","year":"2015","unstructured":"Jin, K., Cheng, J.-S., Gao, X.-S.: On the topology and visualization of plane algebraic curves. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) CASC 2015. LNCS, vol. 9301, pp. 245\u2013259. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24021-3_19"},{"key":"7_CR21","series-title":"The IMA Volumes in Mathematics and Its Applications","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-1-4419-0999-2_6","volume-title":"Nonlinear Computational Geometry","author":"O Labs","year":"2010","unstructured":"Labs, O.: A list of challenges for real algebraic plane curve visualization software. In: Emiris, I., Sottile, F., Theobald, T. (eds.) Nonlinear Computational Geometry. The IMA Volumes in Mathematics and Its Applications, vol. 151, pp. 137\u2013164. Springer, New York (2010). https:\/\/doi.org\/10.1007\/978-1-4419-0999-2_6"},{"issue":"6","key":"7_CR22","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1016\/j.jsc.2007.01.007","volume":"42","author":"D Lazard","year":"2007","unstructured":"Lazard, D., Rouillier, F.: Solving parametric polynomial systems. J. Symb. Comput. 42(6), 636\u2013667 (2007)","journal-title":"J. Symb. Comput."},{"issue":"1","key":"7_CR23","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.tcs.2006.02.018","volume":"359","author":"A Leykin","year":"2006","unstructured":"Leykin, A., Verschelde, J., Zhao, A.: Newton\u2019s method with deflation for isolated singularities of polynomial systems. TCS 359(1), 111\u2013122 (2006)","journal-title":"TCS"},{"issue":"6","key":"7_CR24","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1016\/S0097-8493(02)00173-5","volume":"26","author":"H Lopes","year":"2002","unstructured":"Lopes, H., Oliveira, J.B., de Figueiredo, L.H.: Robust adaptive polygonal approximation of implicit curves. Comput. Graph. 26(6), 841\u2013852 (2002)","journal-title":"Comput. Graph."},{"issue":"6","key":"7_CR25","doi-asserted-by":"publisher","first-page":"3373","DOI":"10.1137\/130906544","volume":"51","author":"B Martin","year":"2013","unstructured":"Martin, B., Goldsztejn, A., Granvilliers, L., Jermann, C.: Certified parallelotope continuation for one-manifolds. SIAM J. Numer. Anal. 51(6), 3373\u20133401 (2013)","journal-title":"SIAM J. Numer. Anal."},{"issue":"4","key":"7_CR26","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."},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Seidel, R., Wolpert, N.: On the exact computation of the topology of real algebraic curves. In: Proceedings of the Twenty-First Annual Symposium on Computational Geometry, SCG 2005, pp. 107\u2013115. ACM, New York (2005)","DOI":"10.1145\/1064092.1064111"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Shen, F., Wu, W., Xia, B.: Real root isolation of polynomial equations based on hybrid computation. In: ASCM 2012, pp. 375\u2013396 (2012)","DOI":"10.1007\/978-3-662-43799-5_26"},{"key":"7_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-319-66320-3_27","volume-title":"Computer Algebra in Scientific Computing","author":"W Wu","year":"2017","unstructured":"Wu, W., Chen, C., Reid, G.: Penalty function based critical point approach to compute real witness solution points of polynomial systems. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) CASC 2017. LNCS, vol. 10490, pp. 377\u2013391. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66320-3_27"},{"key":"7_CR30","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/j.tcs.2017.03.035","volume":"681","author":"W Wu","year":"2017","unstructured":"Wu, W., Reid, G., Feng, Y.: Computing real witness points of positive dimensional polynomial systems. Theor. Comput. Sci. 681, 217\u2013231 (2017)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR31","unstructured":"Yang, L., Xia, B.: Real solution classifications of a class of parametric semi-algebraic systems. In: A3L 2005, pp. 281\u2013289 (2005)"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99639-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T15:37:11Z","timestamp":1571758631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99639-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319986531","9783319986548"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99639-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}