{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T15:53:42Z","timestamp":1762271622224},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,4,1]],"date-time":"2012-04-01T00:00:00Z","timestamp":1333238400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1007\/s11424-012-1145-7","type":"journal-article","created":{"date-parts":[[2012,4,10]],"date-time":"2012-04-10T12:08:06Z","timestamp":1334059686000},"page":"362-374","source":"Crossref","is-referenced-by-count":9,"title":["Finding the topology of implicitly defined two algebraic plane curves"],"prefix":"10.1007","volume":"25","author":[{"given":"Ben","family":"Gao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yufu","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,4,11]]},"reference":[{"key":"1145_CR1","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0167-8396(88)90010-6","volume":"5","author":"C. Bajaj","year":"1988","unstructured":"C. Bajaj and C. M. Hoffmann, Tracing surfaces intersection. Comput. Aided. Geom. Design, 1988, 5: 285\u2013307.","journal-title":"Comput. Aided. Geom. Design"},{"issue":"11","key":"1145_CR2","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1016\/S0010-4485(00)00054-3","volume":"32","author":"J. Keyser","year":"2000","unstructured":"J. Keyser, T. Culver, D. Manocha, and S. Krishnan, Efficient and Exact Manipulation of Algebraic Points and Curves, Comput. Aided. Geom. Design, 2000, 32(11): 649\u2013662.","journal-title":"Aided. Geom. Design"},{"key":"1145_CR3","doi-asserted-by":"crossref","unstructured":"J. Keyser, T. Culver, D. Manocha, and S. Krishnan, MAPC: A library for efficient and exact manipulation of algebraic points and curves, Proc. 15th Annu. ACM Sympos. Comput. Geom., 1999.","DOI":"10.1145\/304893.304990"},{"key":"1145_CR4","volume-title":"WAFR: Proceedings of the workshop on Algorithmic foundations of robotics","author":"D. Halperin","year":"1995","unstructured":"D. Halperin and M. Sharir, Arrangements and their applications in robotics: recent developments. WAFR: Proceedings of the workshop on Algorithmic foundations of robotics, Natick, MA, USA, A. K. Peters, Ltd, 1995."},{"key":"1145_CR5","unstructured":"M. Sharir, Arrangements and their applications, Handbook of Computational Geometry, J. Sack ed., 2000."},{"issue":"8","key":"1145_CR6","doi-asserted-by":"crossref","first-page":"805","DOI":"10.1016\/j.cagd.2004.07.009","volume":"21","author":"X. S. Gao","year":"2004","unstructured":"X. S. Gao and M. Li, Rational quadratic approximation to real algebraic curves, Comput. Aided Geom. Design, 2004, 21(8): 805\u2013828.","journal-title":"Comput. Aided Geom. Design"},{"key":"1145_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05355-3","volume-title":"Algorithms in Real Algebraic Geometry, volume 10 of Algorithms and Computation in Mathematics","author":"S. Basu","year":"2003","unstructured":"S. Basu, R. Pollack, and M. F. Roy. Algorithms in Real Algebraic Geometry, volume 10 of Algorithms and Computation in Mathematics, Springer-Verlag, Berlin, 2003."},{"key":"1145_CR8","series-title":"Lecture Notes in Comput. Sci.","volume-title":"Automata Theory and Formal Languages (Second GI Conf., Kaiser-slautern, 1975)","author":"G. E. Collins","year":"1975","unstructured":"G. E. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition, Automata Theory and Formal Languages (Second GI Conf., Kaiser-slautern, 1975), Lecture Notes in Comput. Sci., Vol. 33. Springer, Berlin, 1975."},{"issue":"9","key":"1145_CR9","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1016\/S0167-8396(02)00167-X","volume":"19","author":"L. Gonzalez-Vega","year":"2002","unstructured":"L. Gonzalez-Vega and I. Necula, Efficient topology determination of implicitly defined algebraic plane curves, Comput. Aided Geom. Design, 2002, 19(9): 719\u2013743.","journal-title":"Comput. Aided Geom. Design"},{"key":"1145_CR10","unstructured":"Y. F. Chen, Lectures on Computer Algebra, Higher Education Press, 2009."},{"issue":"1\u20132","key":"1145_CR11","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/j.comgeo.2004.02.007","volume":"33","author":"E. Sch\u00f6mer","year":"2006","unstructured":"E. Sch\u00f6mer and N. Wolpert, An exact and efficient approach for computing a cell in an arrangement of quadrics, Computational Geometry: Theory and Applications, 2006, 33(1\u20132): 65\u201397.","journal-title":"Computational Geometry: Theory and Applications"},{"key":"1145_CR12","unstructured":"N. Wolpert, An exact and efficient approach for computing a cell in an arrangement of quadrics. PhD thesis, Universit\u00e4t des Saarlandes zu Saarbr\u00fccken, 2002."},{"key":"1145_CR13","doi-asserted-by":"crossref","unstructured":"J. S. Cheng, X. S. Gao, and J. Li, Root isolation for bivariate polynomial systems with local generic position method, ISSAC, 2009: 103\u2013110.","DOI":"10.1145\/1576702.1576719"},{"issue":"4","key":"1145_CR14","doi-asserted-by":"crossref","first-page":"865","DOI":"10.1137\/0213054","volume":"13","author":"D. S. Arnon","year":"1984","unstructured":"D. S. Arnon, G. E. Collins, and S. McCallum, Cylindrical algebraic decomposition I: The basic algorithm, SIAM J. Comput., 1984, 13(4): 865\u2013877.","journal-title":"SIAM J. Comput."}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-012-1145-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11424-012-1145-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-012-1145-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,27]],"date-time":"2019-06-27T03:30:59Z","timestamp":1561606259000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11424-012-1145-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,4]]}},"alternative-id":["1145"],"URL":"https:\/\/doi.org\/10.1007\/s11424-012-1145-7","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,4]]}}}