{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,20]],"date-time":"2024-07-20T05:11:12Z","timestamp":1721452272940},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T00:00:00Z","timestamp":1588032000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T00:00:00Z","timestamp":1588032000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2020,8]]},"DOI":"10.1007\/s11424-020-8380-0","type":"journal-article","created":{"date-parts":[[2020,4,30]],"date-time":"2020-04-30T02:02:45Z","timestamp":1588212165000},"page":"1252-1274","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities"],"prefix":"10.1007","volume":"33","author":[{"given":"Changbo","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenyuan","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,4,28]]},"reference":[{"issue":"2","key":"8380_CR1","doi-asserted-by":"crossref","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, 1977, 20(2): 100\u2013106.","journal-title":"Commun. ACM"},{"issue":"2","key":"8380_CR2","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1109\/38.506","volume":"8","author":"R Chandler","year":"1988","unstructured":"Chandler R, A tracking algorithm for implicitly defined curves, IEEE Comput. Graph. Appl., 1988, 8(2): 83\u201389.","journal-title":"IEEE Comput. Graph. Appl."},{"issue":"4","key":"8380_CR3","doi-asserted-by":"crossref","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, Mathematics and Computers in Simulation, 1996, 42(4): 571\u2013582.","journal-title":"Mathematics and Computers in Simulation"},{"issue":"6","key":"8380_CR4","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1016\/S0097-8493(02)00173-5","volume":"26","author":"H Lopes","year":"2002","unstructured":"Lopes H, Oliveira J, and Figueiredo L, Robust adaptive polygonal approximation of implicit curves, Computers & Graphics, 2002, 26(6): 841\u2013852.","journal-title":"Computers & Graphics"},{"key":"8380_CR5","doi-asserted-by":"crossref","unstructured":"Emeliyanenko P, Berberich E, and Sagraloff M, Visualizing arcs of implicit algebraic curves, exactly and fast, Advances in Visual Computing, 2009, 608\u2013619.","DOI":"10.1007\/978-3-642-10331-5_57"},{"key":"8380_CR6","doi-asserted-by":"crossref","unstructured":"Labs O, A list of challenges for real algebraic plane curve visualization software, Nonlinear Computational Geometry, 2010, 137\u2013164.","DOI":"10.1007\/978-1-4419-0999-2_6"},{"issue":"2","key":"8380_CR7","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/j.jsc.2011.08.021","volume":"47","author":"M Burr","year":"2012","unstructured":"Burr M, Choi S, Galehouse B, et al., Complete subdivision algorithms, II: Isotopic meshing of singular algebraic curves, Journal of Symbolic Computation, 2012, 47(2): 131\u2013152.","journal-title":"Journal of Symbolic Computation"},{"key":"8380_CR8","doi-asserted-by":"crossref","unstructured":"Jin K, Cheng J, and Gao X, On the topology and visualization of plane algebraic curves, Proceedings of CASC, 2015, 245\u2013259.","DOI":"10.1007\/978-3-319-24021-3_19"},{"key":"8380_CR9","unstructured":"Daouda D, Mourrain B, and Ruatta O, On the computation of the topology of a non-reduced implicit space curve, Proceedings of ISSAC, 2018, 47\u201354."},{"key":"8380_CR10","doi-asserted-by":"crossref","unstructured":"Jin K and Cheng J, Isotopic epsilon-meshing of real algebraic space curves, Proceedings of SNC, 2014, 118\u2013127.","DOI":"10.1145\/2631948.2631970"},{"key":"8380_CR11","unstructured":"Stussak C, On reliable visualization algorithms for real algebraic curves and surfaces, PhD thesis, Universitats- und Landesbibliothek Sachsen-Anhalt, Halle (Saale), 2013."},{"issue":"1","key":"8380_CR12","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/s11786-010-0044-3","volume":"4","author":"J Cheng","year":"2010","unstructured":"Cheng J, Lazard S, Penaranda L, et al., On the topology of real algebraic plane curves, Mathematics in Computer Science, 2010, 4(1): 113\u2013137.","journal-title":"Mathematics in Computer Science"},{"key":"8380_CR13","doi-asserted-by":"crossref","unstructured":"Seidel R and Wolpert N, On the exact computation of the topology of real algebraic curves, Proceedings of the Twenty-first Annual Symposium on Computational Geometry, 2005, 107\u2013115.","DOI":"10.1145\/1064092.1064111"},{"key":"8380_CR14","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/j.jsc.2016.03.011","volume":"80","author":"R Imbach","year":"2017","unstructured":"Imbach R, Moroz G, and Pouget M, A certified numerical algorithm for the topology of resultant and discriminant curves, Journal of Symbolic Computation, 2017, 80: 285\u2013306.","journal-title":"Journal of Symbolic Computation"},{"key":"8380_CR15","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/j.cag.2013.11.006","volume":"38","author":"A Gomes","year":"2014","unstructured":"Gomes A, A continuation algorithm for planar implicit curves with singularities, Computers & Graphics, 2014, 38: 365\u2013373.","journal-title":"Computers & Graphics"},{"issue":"1","key":"8380_CR16","doi-asserted-by":"crossref","first-page":"10:1","DOI":"10.1145\/3056528","volume":"44","author":"D Brake","year":"2017","unstructured":"Brake D, Bates D, Hao W, et al., Algorithm 976: Bertini_real: Numerical decomposition of real algebraic curves and surfaces, ACM Trans. Math. Softw., 2017, 44(1): 10:1\u201310:30.","journal-title":"ACM Trans. Math. Softw."},{"key":"8380_CR17","doi-asserted-by":"crossref","unstructured":"Collins G, Quantifier elimination for real closed fields by cylindrical algebraic decompostion, Automata Theory and Formal Languages, 2nd GI Conference, 1975, 134\u2013183.","DOI":"10.1007\/3-540-07407-4_17"},{"issue":"4","key":"8380_CR18","doi-asserted-by":"crossref","first-page":"716","DOI":"10.1006\/jcom.2000.0563","volume":"16","author":"F Rouillier","year":"2000","unstructured":"Rouillier F, Roy M, 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(4): 716\u2013750.","journal-title":"Journal of Complexity"},{"key":"8380_CR19","doi-asserted-by":"crossref","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, et al., Triangular decomposition of semi-algebraic systems, J. Symb. Comp., 2013, 49: 3\u201326.","journal-title":"J. Symb. Comp."},{"issue":"1","key":"8380_CR20","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/s10440-012-9782-3","volume":"125","author":"J Hauenstein","year":"2012","unstructured":"Hauenstein J, Numerically computing real points on algebraic sets, Acta Applicandae Mathematicae, 2012, 125(1): 105\u2013119.","journal-title":"Acta Applicandae Mathematicae"},{"key":"8380_CR21","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/j.tcs.2017.03.035","volume":"681","author":"W Wu","year":"2017","unstructured":"Wu W, Reid G, and Feng Y, Computing real witness points of positive dimensional polynomial systems, Theoretical Computer Science, 2017, 681: 217\u2013231.","journal-title":"Theoretical Computer Science"},{"key":"8380_CR22","doi-asserted-by":"crossref","unstructured":"Wu W, Chen C, and Reid G, Penalty function based critical point approach to compute real witness solution points of polynomial systems, Proceeding of CASC, 2017, 377\u2013391.","DOI":"10.1007\/978-3-319-66320-3_27"},{"key":"8380_CR23","doi-asserted-by":"crossref","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, et al., Complexity and Real Computation, Springer-Verlag, New York, 1998."},{"issue":"2","key":"8380_CR24","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s10208-013-9143-2","volume":"13","author":"C Beltr\u00e1n","year":"2013","unstructured":"Beltr\u00e1n C and Leykin A, Robust certified numerical homotopy tracking, Foundations of Computational Mathematics, 2013, 13(2): 253\u2013295.","journal-title":"Foundations of Computational Mathematics"},{"issue":"6","key":"8380_CR25","doi-asserted-by":"crossref","first-page":"3373","DOI":"10.1137\/130906544","volume":"51","author":"B Martin","year":"2013","unstructured":"Martin B, Goldsztejn A, Granvilliers L, et al., Certified parallelotope continuation for one-manifolds, SIAM Journal on Numerical Analysis, 2013, 51(6): 3373\u20133401.","journal-title":"SIAM Journal on Numerical Analysis"},{"issue":"4","key":"8380_CR26","doi-asserted-by":"crossref","first-page":"825","DOI":"10.1007\/s11075-013-9716-9","volume":"65","author":"Y Yu","year":"2014","unstructured":"Yu Y, Yu B, and Dong B, Robust continuation methods for tracing solution curves of parameterized systems, Numerical Algorithms, 2014, 65(4): 825\u2013841.","journal-title":"Numerical Algorithms"},{"issue":"1","key":"8380_CR27","first-page":"55","volume":"15","author":"C Bajaj","year":"1977","unstructured":"Bajaj C and Xu G, Piecewise rational approximations of real algebraic curves, Journal of Computational Mathematics, 1977, 15(1): 55\u201371.","journal-title":"Journal of Computational Mathematics"},{"issue":"1","key":"8380_CR28","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/j.tcs.2006.02.018","volume":"359","author":"A Leykin","year":"2006","unstructured":"Leykin A, Verschelde J, and Zhao A, Newton\u2019s method with deflation for isolated singularities of polynomial systems, Theoretical Computer Science, 2006, 359(1): 111\u2013122.","journal-title":"Theoretical Computer Science"},{"key":"8380_CR29","doi-asserted-by":"crossref","unstructured":"Chen C, Wu W, and Feng Y, Full rank representation of real algebraic sets and applications, Proceeding of CASC, 2017, 51\u201365.","DOI":"10.1007\/978-3-319-66320-3_5"},{"key":"8380_CR30","doi-asserted-by":"crossref","unstructured":"Chen C and Wu W, A numerical method for computing border curves of bi-parametric real polynomial systems and applications, Proceeding of CASC, 2016, 156\u2013171.","DOI":"10.1007\/978-3-319-45641-6_11"},{"key":"8380_CR31","doi-asserted-by":"crossref","unstructured":"Chen C and Wu W, A numerical method for analyzing the stability of bi-parametric biological systems, Proceeding of SYNASC, 2016, 91\u201398.","DOI":"10.1109\/SYNASC.2016.026"},{"key":"8380_CR32","unstructured":"Yang L and Xia B, Real solution classifications of a class of parametric semi-algebraic systems, Proceeding of A3L, 2005, 281\u2013289."},{"issue":"6","key":"8380_CR33","doi-asserted-by":"crossref","first-page":"636","DOI":"10.1016\/j.jsc.2007.01.007","volume":"42","author":"D Lazard","year":"2007","unstructured":"Lazard D and Rouillier F, Solving parametric polynomial systems, J. Symb. Comput., 2007, 42(6): 636\u2013667.","journal-title":"J. Symb. Comput."},{"issue":"5","key":"8380_CR34","first-page":"229","volume":"35","author":"H Bennett","year":"2016","unstructured":"Bennett H, Papadopoulou E, and Yap C, Planar minimization diagrams via subdivision with applications to anisotropic voronoi diagrams, Eurographics Symposium on Geometry Processing, 2016, 35(5): 229\u2013247.","journal-title":"Eurographics Symposium on Geometry Processing"},{"key":"8380_CR35","doi-asserted-by":"crossref","unstructured":"Chen C and Wu W, A continuation method for visualizing planar real algebraic curves with singularities, Proceeding of CASC, 2018, 99\u2013115.","DOI":"10.1007\/978-3-319-99639-4_7"},{"key":"8380_CR36","doi-asserted-by":"crossref","unstructured":"Wu W and Reid G, Finding points on real solution components and applications to differential polynomial systems, Proceeding of ISSAC, 2013, 339\u2013346.","DOI":"10.1145\/2465506.2465954"},{"key":"8380_CR37","unstructured":"Stewart G, Perturbation theory for the singular value decomposition, SVD and Signal Processing, II: Algorithms, Analysis and Applications, 1990, 99\u2013109."},{"key":"8380_CR38","doi-asserted-by":"crossref","unstructured":"Shen F, Wu W, and Xia B, Real root isolation of polynomial equations based on hybrid computation, Proceeding of ASCM, 2012, 375\u2013396.","DOI":"10.1007\/978-3-662-43799-5_26"},{"issue":"2","key":"8380_CR39","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s00607-008-0015-6","volume":"83","author":"T Lee","year":"2008","unstructured":"Lee T, Li T, and Tsai C, Hom4ps-2.0: A software package for solving polynomial systems by the polyhedral homotopy continuation method, Computing, 2008, 83(2): 109\u2013133.","journal-title":"Computing"},{"key":"8380_CR40","unstructured":"Duzhin S and Weisstein E, Ordinary double point, From MathWorld \u2014 A Wolfram Web Resource, http:\/\/mathworld.wolfram.com\/OrdinaryDoublePoint.html."}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-020-8380-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11424-020-8380-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-020-8380-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T23:48:22Z","timestamp":1619567302000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11424-020-8380-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,28]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,8]]}},"alternative-id":["8380"],"URL":"https:\/\/doi.org\/10.1007\/s11424-020-8380-0","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,4,28]]},"assertion":[{"value":"29 December 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 April 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}