{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T12:00:01Z","timestamp":1759838401055},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"vor","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":[[2020,2]]},"DOI":"10.1007\/s11424-020-8262-5","type":"journal-article","created":{"date-parts":[[2020,3,3]],"date-time":"2020-03-03T05:19:47Z","timestamp":1583212787000},"page":"230-260","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["On the Topology and Isotopic Meshing of Plane Algebraic Curves"],"prefix":"10.1007","volume":"33","author":[{"given":"Kai","family":"Jin","sequence":"first","affiliation":[]},{"given":"Jinsan","family":"Cheng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,3]]},"reference":[{"issue":"8","key":"8262_CR1","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1016\/j.cagd.2008.06.009","volume":"25","author":"L Alberti","year":"2008","unstructured":"Alberti L, Mourrain B, and Wintz J, Topology and arrangement computation of semi-algebraic planar curves, Computer Aided Geometry Design, 2008, 25(8): 631\u2013651.","journal-title":"Computer Aided Geometry Design"},{"issue":"4","key":"8262_CR2","doi-asserted-by":"publisher","first-page":"865","DOI":"10.1137\/0213054","volume":"13","author":"D S Arnon","year":"1984","unstructured":"Arnon D S, Collins G, and McCallum S, Cylindrical algebraic decomposition, I: The Basic Algorithm, SIAM Journal on Computing, 1984, 13(4): 865\u2013877.","journal-title":"SIAM Journal on Computing"},{"issue":"4","key":"8262_CR3","doi-asserted-by":"publisher","first-page":"878","DOI":"10.1137\/0213055","volume":"13","author":"D S Arnon","year":"1984","unstructured":"Arnon D S, Collins G, and McCallum S, Cylindrical algebraic decomposition, II: An adjacency algorithm for plane, SIAM Journal on Computing, 1984, 13(4): 878\u2013889.","journal-title":"SIAM Journal on Computing"},{"issue":"1-2","key":"8262_CR4","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/S0747-7171(88)80011-7","volume":"5","author":"D S Arnon","year":"1988","unstructured":"Arnon D S, Collins G, and McCallum S, Cylindrical algebraic decomposition, III: An adjacency algorithm for 3D space, Journal of Symbolic Computation, 1988, 5(1-2): 163\u2013187.","journal-title":"Journal of Symbolic Computation"},{"key":"8262_CR5","first-page":"88","volume-title":"Proceedings of the 4th Internal Workshop on Symbolic-Numeric Computation ACM","author":"E Berberich","year":"2011","unstructured":"Berberich E, Emeliyanenko P, Kobel A, et al., Arrangement computation for planar algebraic curves, Proceedings of the 4th Internal Workshop on Symbolic-Numeric Computation ACM, San Jose, USA, 2011, 88\u201399."},{"key":"8262_CR6","first-page":"87","volume-title":"Proc. ISSAC 2008, ACM Press","author":"M Burr","year":"2008","unstructured":"Burr M, Choi S, Galehouse B, et al., Complete subdivision algorithms, II: Isotopic meshing of algebraic curves, Proc. ISSAC 2008, ACM Press, 2008, 87\u201394."},{"key":"8262_CR7","first-page":"61","volume-title":"Proc. ISSAC 2017, ACM Press","author":"M Burr","year":"2017","unstructured":"Burr M, Gao S, and Tsigaridas E, The complexity of an adaptive subdivision method for approximating real curves, Proc. ISSAC 2017, ACM Press, 2017, 61\u201368."},{"key":"8262_CR8","first-page":"99","volume":"11077","author":"C B Chen","year":"2018","unstructured":"Chen C B and Wu W Y, A continuation method for visualizing planar real algebraic curves with singularities, Computer Algebra in Scientific Computing 2018, Lecture Notes in Comput. Sci., Springer, Cham, 2018, 11077: 99\u2013115.","journal-title":"Computer Algebra in Scientific Computing 2018, Lecture Notes in Comput. Sci."},{"key":"8262_CR9","first-page":"280","volume-title":"Proc. Symp. on CG","author":"S W Cheng","year":"2004","unstructured":"Cheng S W, Dey T K, Ramos A, et al., Sampling and meshing a surface with guaranteed topology and geometry, Proc. Symp. on CG, ACM Press, New York, 2004, 280\u2013289."},{"key":"8262_CR10","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/11537908_8","volume":"3604","author":"J S Cheng","year":"2005","unstructured":"Cheng J S, Gao X S, and Li M, Determining the topology of real algebraic surfaces, Mathematics of Surfaces XI, LNCS, Springer-Verlag, 2005, 3604: 121\u2013146.","journal-title":"Mathematics of Surfaces XI, LNCS"},{"key":"8262_CR11","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s11786-010-0044-3","volume":"4","author":"J S Cheng","year":"2010","unstructured":"Cheng J S, Lazard S, Pe\u00f1aranda L, et al., On the topology of real algebraic plane curves, Mathematics in Computer Science, 2010, 4: 113\u2013117.","journal-title":"Mathematics in Computer Science"},{"issue":"7","key":"8262_CR12","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1016\/j.cagd.2013.04.003","volume":"30","author":"R M Corless","year":"2013","unstructured":"Corless R M, Diaz-Toca G M, Fioravanti M, et al, Computing the topology of a real algebraic plane curve whose defining equations are available only \u201cby values\u201d, Computer Aided Geometric Design, 2013, 30(7): 675\u2013706.","journal-title":"Computer Aided Geometric Design"},{"key":"8262_CR13","first-page":"130","volume-title":"Proc. ISSAC 2014","author":"D N Diatta","year":"2014","unstructured":"Diatta D N, Rouillier F, and Roy M F, On the computation of the topology of plane curves, Proc. ISSAC 2014 (Ed. by Katsusuke N), ACM, New York, 2014, 130\u2013137."},{"key":"8262_CR14","first-page":"122","volume-title":"Proc. 19th Annual ACM-SIAM Symposium on Discrete Algorithm (SODA08)","author":"A Eigenwillig","year":"2008","unstructured":"Eigenwillig A and Kerber M, Exact and efficient 2d-arrangements of arbitrary algebraic curves, Proc. 19th Annual ACM-SIAM Symposium on Discrete Algorithm (SODA08), San Francisco, USA, ACM-SIAM, ACM\/SIAM, 2008, 122\u2013131."},{"key":"8262_CR15","first-page":"151","volume-title":"Proc. ACM ISSAC 2007","author":"A Eigenwillig","year":"2007","unstructured":"Eigenwillig A, Kerber M, and Wolpert N, Fast and exact geometric analysis of real algebraic plane curves, Proc. ACM ISSAC 2007, ACM Press, New York, 2007, 151\u2013158."},{"key":"8262_CR16","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/s11424-012-1145-7","volume":"25","author":"B Gao","year":"2012","unstructured":"Gao B, and Chen Y F, Finding the topology of implicitly defined two algebraic plane curves, Journal of Systems Science and Complexity, 2012, 25: 362\u2013374.","journal-title":"Journal of Systems Science and Complexity"},{"key":"8262_CR17","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1016\/j.cagd.2004.07.009","volume":"21","author":"X S Gao","year":"2004","unstructured":"Gao X S and Li M, Rational quadratic approximation to real algebraic curves, Computer Aided Geometric Design, 2004, 21: 805\u2013828.","journal-title":"Computer Aided Geometric Design"},{"issue":"4-6","key":"8262_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, Mathematics and Computers in Simulation, 1996, 42(4-6): 571\u2013582.","journal-title":"Mathematics and Computers in Simulation"},{"issue":"1","key":"8262_CR19","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s11786-010-0047-0","volume":"4","author":"D Lazard","year":"2010","unstructured":"Lazard D, CAD and topology of semi-algebraic sets, Mathematics in Computer Science, 2010, 4(1): 93\u2013112.","journal-title":"Mathematics in Computer Science"},{"key":"8262_CR20","volume-title":"Computational Methods for Algebraic Spline Surfaces","author":"C Liang","year":"2006","unstructured":"Liang C, Mourrain B, and Pavone J P, Subdivision methods for the topology of 2d and 3d implicit curves, Computational Methods for Algebraic Spline Surfaces, Springer-Verlag, 2006."},{"key":"8262_CR21","volume-title":"Proc. SIGGRAPH 1987","author":"W E Lorensen","year":"1987","unstructured":"Lorensen W E and Cline H E, Marching cubes: A high resolution 3d surface construction algorithm, Proc. SIGGRAPH 1987, ACM Press, New York, 1987."},{"key":"8262_CR22","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1006\/jcom.1996.0032","volume":"12","author":"L Gonz\u00e1lez-Vaga","year":"1996","unstructured":"Gonz\u00e1lez-Vaga L and El Kahoui M, An improved upper complexity bound for the topology computation of a real algebraic plane curve, J. Complexity, 1996, 12: 527\u2013544.","journal-title":"J. Complexity"},{"key":"8262_CR23","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1016\/S0167-8396(02)00167-X","volume":"19","author":"L Gonz\u00e1lez-Vega","year":"2002","unstructured":"Gonz\u00e1lez-Vega L and Necula I, Efficient topology determination of implicitly defined algebraic plane curves, Computer Aided Geometric Design, 2002, 19: 719\u2013743.","journal-title":"Computer Aided Geometric Design"},{"key":"8262_CR24","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1016\/S0167-8396(02)00146-2","volume":"19","author":"R Martin","year":"2002","unstructured":"Martin R, Shou H, Voiculescu I, et al., Comparison of interval methods for plotting algebraic curves, Computer Aided Geometric Design, 2002, 19: 553\u2013587.","journal-title":"Computer Aided Geometric Design"},{"key":"8262_CR25","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s00371-006-0083-6","volume":"23","author":"S Plantinga","year":"2007","unstructured":"Plantinga S and Vegter G, Isotopic meshing of implicit surfaces, Visual Computer, 2007, 23: 45\u201358.","journal-title":"Visual Computer"},{"issue":"3","key":"8262_CR26","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1142\/S0219467805001859","volume":"5","author":"H Ratschek","year":"2005","unstructured":"Ratschek H, Scci-hybrid method for 2d curve tracing, International Journal of Image and Graphics, World Scientific Publishing Company, 2005, 5(3): 447\u2013479.","journal-title":"International Journal of Image and Graphics"},{"key":"8262_CR27","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1017\/S0004972700028756","volume":"43","author":"T Sakkalis","year":"1991","unstructured":"Sakkalis T, The topological configuration of a real algebraic curve, Bull. Aust. Math. Soc., 1991, 43: 37\u201350.","journal-title":"Bull. Aust. Math. Soc."},{"issue":"4","key":"8262_CR28","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1016\/S0747-7171(08)80019-3","volume":"9","author":"T Sakkalis","year":"1990","unstructured":"Sakkalis T and Farouki R, Singular points of algebraic curves, Journal of Symbolic Computation, 1990, 9(4): 405\u2013421.","journal-title":"Journal of Symbolic Computation"},{"key":"8262_CR29","first-page":"107","volume-title":"Proceedings of the 21st Annual ACM Symposium on Computational Geometry","author":"R Seidel","year":"2005","unstructured":"Seidel R and Wolpert N, On the exact computation of the topology of real algebraic curves, Proceedings of the 21st Annual ACM Symposium on Computational Geometry, 2005, 107\u2013115."},{"key":"8262_CR30","first-page":"121","volume-title":"Proc. 19th Annual Conf. on Computers","author":"J M Snyder","year":"1992","unstructured":"Snyder J M, Interval analysis for computer graphics, Proc. 19th Annual Conf. on Computers, 1992, 121\u2013130."},{"key":"8262_CR31","doi-asserted-by":"publisher","first-page":"1320","DOI":"10.1007\/s11424-014-2017-0","volume":"27","author":"J S Cheng","year":"2014","unstructured":"Cheng J S, and Gao X S, Multiplicity-preserving triangular set decomposition of two polynomials, Journal of Systems Science and Complexity, 2014, 27: 1320\u20131344.","journal-title":"Journal of Systems Science and Complexity"},{"key":"8262_CR32","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0747-7171(88)80013-0","volume":"5","author":"D S Arnon","year":"1998","unstructured":"Arnon D S and McCallum S, A polynomial-time algorithm for the topological type of a real algebraic curve, Journal of Symbolic Computation, 1998, 5: 213\u2013236.","journal-title":"Journal of Symbolic Computation"},{"key":"8262_CR33","volume-title":"Effective Computaional Geometry for Curves and Surfaces","author":"B Mourrain","year":"2006","unstructured":"Mourrain B, Pion S, Schmitt S, et al., Algebraic issues in computational geometry, Effective Computaional Geometry for Curves and Surfaces (Eds. by Boissonnat J D and Teillaud M), Mathematics and Visualization, Chapter 3, Springer, Berlin, 2006."},{"issue":"2","key":"8262_CR34","first-page":"1","volume":"28","author":"J P G Abel","year":"2009","unstructured":"Abel J P G, Jos\u00e9 F M M, and Edgar S P, A BSP-based algorithm for dimensionally nonhomoge-neous planar implicit curves with topological guarantees, ACM Trans. on Graph., 2009, 28(2): 1\u201317.","journal-title":"ACM Trans. on Graph."},{"key":"8262_CR35","first-page":"1140","volume-title":"Proc. ACM Symposium on Applied Computing","author":"J S Cheng","year":"2009","unstructured":"Cheng J S, Gao X S, and Li J, Topology determination and isolation for implicit plane curves, Proc. ACM Symposium on Applied Computing, 2009, 1140\u20131141."},{"key":"8262_CR36","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1016\/j.jsc.2014.09.017","volume":"68","author":"J S Cheng","year":"2015","unstructured":"Cheng J S and Jin K, A generic position based method for real root isolation of zero-dimensional polynomial systems, Journal of Symbolic Computation, 2015, 68: 204\u2013224.","journal-title":"Journal of Symbolic Computation"},{"key":"8262_CR37","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-319-24021-3_19","volume-title":"Computer Algebra in Scientific Computing","author":"Kai Jin","year":"2015","unstructured":"Jin K, Cheng J S, and Gao X S, On the topology and visualization of plane algebraic curves, Computer Algebra in Scientific Computing, CASC 2015, Lecture Notes in Computer Science (Eds. by Gerdt V, Koepf W, Seiler W, et al.), Springer, Cham, 2015, 9301."},{"key":"8262_CR38","volume-title":"Society for Industrial and Applied Mathematics","author":"R E Moore","year":"2009","unstructured":"Moore R E, Kearfott R B, and Cloud M J, Introduction to interval analysis, Society for Industrial and Applied Mathematics, Philadelphia, 2009."},{"key":"8262_CR39","first-page":"92","volume-title":"Proc. ACM ISSAC 2007","author":"J S Cheng","year":"2007","unstructured":"Cheng J S, Gao X S, and Yap C, Complete numerical isolation of real roots in zero-dimensional triangular systems, Proc. ACM ISSAC 2007, ACM Press, New York, 2007, 92\u201399."},{"key":"8262_CR40","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BF01395988","volume":"36","author":"A G Akritas","year":"1980","unstructured":"Akritas A G, An implementation of Vincent's Theorem, Numerische Mathematik, 1980, 36: 53\u201362.","journal-title":"Numerische Mathematik"},{"key":"8262_CR41","first-page":"272","volume-title":"Proc. ACM ISSAC 1976","author":"G Collins","year":"1976","unstructured":"Collins G and Akritas A, Polynomial real roots isolation using Descartes' rule of signs, Proc. ACM ISSAC 1976, 1976, 272\u2013275."},{"key":"8262_CR42","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-7091-7551-4_7","volume-title":"Computer Algebra","author":"G Collins","year":"1983","unstructured":"Collins G and Loos R, Real zeros of polynomials, Computer Algebra, Springer, Vienna, 1983, 83\u201394."},{"key":"8262_CR43","first-page":"113","volume-title":"SNC 2007","author":"Z Du","year":"2007","unstructured":"Du Z, Sharma V, and Yap C, Amortized bounds for root isolation via Sturm sequences, SNC 2007, 2007, 113\u2013130."},{"issue":"1","key":"8262_CR44","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.cam.2003.08.015","volume":"162","author":"F Rouillier","year":"2003","unstructured":"Rouillier F and Zimmermann P, Efficient isolation of polynomial real roots, Journal of Computational and Applied Mathematics, 2003, 162(1): 33\u201350.","journal-title":"Journal of Computational and Applied Mathematics"},{"key":"8262_CR45","first-page":"297","volume-title":"Proc. ACM ISSAC 2012","author":"M Sagraloff","year":"2012","unstructured":"Sagraloff M, When Newton meets descartes: A simple and fast algorithm to isolate the real roots of a polynomial, Proc. ACM ISSAC 2012, 2012, 297\u2013304."},{"issue":"7","key":"8262_CR46","doi-asserted-by":"publisher","first-page":"818","DOI":"10.1016\/j.jsc.2008.04.009","volume":"44","author":"D I Diochnos","year":"2007","unstructured":"Diochnos D I, Emiris I Z, and Tsigaridas E P, On the asymptotic and practical complexity of solving bivariate systems over the reals, Journal of Symbolic Computation, Special issue for ISSAC 2007, 44(7): 818\u2013835.","journal-title":"Journal of Symbolic Computation"},{"key":"8262_CR47","doi-asserted-by":"crossref","unstructured":"Fulton W, Introduction to intersection theory in algebraic geometry, Regional Conference Series in Mathematics, Published for the Conference Board of the Mathematical Sciences, Washington, DC, 1984, 54.","DOI":"10.1090\/cbms\/054"},{"key":"8262_CR48","first-page":"285","volume":"7-8","author":"B Teissier","year":"1973","unstructured":"Teissier B, Cycles \u00e9vanescents, sections planes et conditions de Whitney, French, Singularit\u00e9s \u00e0 Carg\u00e8se Ast\u00e9risque, 1973, 7-8: 285\u2013362.","journal-title":"Singularit\u00e9s \u00e0 Carg\u00e8se Ast\u00e9risque"},{"issue":"2","key":"8262_CR49","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 and Leykin A, Robust certified numerical homotopy tracking, Foundations of Computational Mathematics, 2013, 13(2): 253\u2013295.","journal-title":"Foundations of Computational Mathematics"},{"key":"8262_CR50","first-page":"209","volume":"11","author":"T Y Li","year":"2013","unstructured":"Li T Y, Numerical solution of polynomial systems by homotopy continuation methods, Handbook of Numerical Analysis, 2013, 11: 209\u2013230.","journal-title":"Handbook of Numerical Analysis"},{"key":"8262_CR51","first-page":"137","volume-title":"Nolinear Computational Geometry","author":"O Labs","year":"2010","unstructured":"Labs O, A list of challenges for real algebraic plane curve visualization, software, Nolinear Computational Geometry, Vol 151 of The IMA Volumes, Springer, New York, 2010, 137\u2013164."}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-020-8262-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11424-020-8262-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-020-8262-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,3]],"date-time":"2021-03-03T00:09:30Z","timestamp":1614730170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11424-020-8262-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2]]},"references-count":51,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,2]]}},"alternative-id":["8262"],"URL":"https:\/\/doi.org\/10.1007\/s11424-020-8262-5","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,2]]},"assertion":[{"value":"5 September 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 January 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 March 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}