{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:10:21Z","timestamp":1725559821437},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540282259"},{"type":"electronic","value":"9783540318354"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11537908_8","type":"book-chapter","created":{"date-parts":[[2005,9,30]],"date-time":"2005-09-30T11:42:40Z","timestamp":1128080560000},"page":"121-146","source":"Crossref","is-referenced-by-count":14,"title":["Determining the Topology of Real Algebraic Surfaces"],"prefix":"10.1007","author":[{"given":"Jin-San","family":"Cheng","sequence":"first","affiliation":[]},{"given":"Xiao-Shan","family":"Gao","sequence":"additional","affiliation":[]},{"given":"Ming","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1,2","key":"8_CR1","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/S0747-7171(88)80009-9","volume":"5","author":"S. Arnborg","year":"1988","unstructured":"Arnborg, S., Feng, H.: Algebraic decomposition of regular curves. J. Symbolic Comput.\u00a05(1,2), 131\u2013140 (1988)","journal-title":"J. Symbolic Comput."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Arnon, D.S., Collins, G., McCallum, S.: Cylindrical algebraic decomposition I: the basic algorithm. In: Buchberger, B., Collins, G.E. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition, pp. 136\u2013151. Springer, Heidelberg","DOI":"10.1007\/978-3-7091-9459-1_6"},{"issue":"1,2","key":"8_CR3","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0747-7171(88)80013-0","volume":"5","author":"D.S. Arnon","year":"1988","unstructured":"Arnon, D.S., McCallum, S.: A polynomial-time algorithm for the topological type of a real algebraic curve. J. Symbolic Comput.\u00a05(1,2), 213\u2013236 (1988)","journal-title":"J. Symbolic Comput."},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0167-8396(88)90010-6","volume":"5","author":"C. Bajaj","year":"1988","unstructured":"Bajaj, C., Hoffmann, C.M., Lynch, R.E., Hopcroft, J.E.H.: Tracing surface intersection. Computer Aided Geometric Design\u00a05, 285\u2013307 (1988)","journal-title":"Computer Aided Geometric Design"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1006\/jsco.1996.0091","volume":"23","author":"C. Bajaj","year":"1997","unstructured":"Bajaj, C., Xu, G.L.: Spline approximations of real algebraic surfaces. J. Symbolic Comput.\u00a023, 315\u2013333 (1997)","journal-title":"J. Symbolic Comput."},{"key":"8_CR6","volume-title":"Algorithms and Computat. in Mathematics","author":"S. Basu","year":"2003","unstructured":"Basu, S., Pollack, R., Roy, M.-F.: Algorithms in real algebraic geometry. In: Algorithms and Computat. in Mathematics, vol.\u00a010, Springer, Heidelberg (2003)"},{"key":"8_CR7","unstructured":"Feng, H.: Decomposition and computation of the topoplogy of plane real algebraic curves, PhD Thesis, The Royal Institute of Technology, Stockholm, Sweden (1992)"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/S0747-7171(03)00085-3","volume":"36","author":"E. Fortuna","year":"2003","unstructured":"Fortuna, E., Gianni, P., Parenti, P., Traverso, C.: Algorithms to compute the topology of orientable real algebraic surfaces. J. Symbolic Comput.\u00a036, 343\u2013364 (2003)","journal-title":"J. Symbolic Comput."},{"key":"8_CR9","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., Li, M.: Rational quadratic approximation to real algebraic curves. Computer Aided Geometric Design\u00a021, 805\u2013828 (2004)","journal-title":"Computer Aided Geometric Design"},{"key":"8_CR10","first-page":"27","volume-title":"Computational Methods for Algebraic Spline Surfaces","author":"G. Gatellier","year":"2004","unstructured":"Gatellier, G., Labrouzy, A., Mourrain, B., T\u00e9court, J.P.: Computing the topology of three dimensional algebraic curves. In: Computational Methods for Algebraic Spline Surfaces, pp. 27\u201344. Springer, Heidelberg (2004)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Geismann, N., Hemmer, M., Sch\u00f6mer, E.: Computing a 3-dimensional cell in an arrangement of quadrics: exactly and actually. In: Symposium on Computational Geometry, pp. 264\u2013273 (2001)","DOI":"10.1145\/378583.378689"},{"key":"8_CR12","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF02825045","volume":"29","author":"P. Gianni","year":"1983","unstructured":"Gianni, P., Traverso, C.: Shape determination for real curves and surfaces. Ann. Univ. Ferrara Sez. VII(N.S.)\u00a029, 87\u2013109 (1983)","journal-title":"Ann. Univ. Ferrara Sez. VII(N.S.)"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1006\/jcom.1996.0032","volume":"12","author":"L. Gonzalez-Vega","year":"1996","unstructured":"Gonzalez-Vega, L., El Kahoui, M.: An improve upper complexity bound for the topology computation of a real algebraic plane curve. J. Complexity\u00a012, 527\u2013544 (1996)","journal-title":"J. Complexity"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1016\/S0167-8396(02)00167-X","volume":"19","author":"L. Gonzalez-Vega","year":"2002","unstructured":"Gonzalez-Vega, L., Necula, I.: Efficient topology determination of implicitly defined algebraic place curves. Computer Aided Geometric Design\u00a019, 719\u2013743 (2002)","journal-title":"Computer Aided Geometric Design"},{"key":"8_CR15","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/978-3-662-03567-2_19","volume-title":"Mathematical Visualization","author":"J.C. Hart","year":"1998","unstructured":"Hart, J.C.: Morse theory for implicit surface modeling. In: Hege, H.-C., Polthier, K. (eds.) Mathematical Visualization, pp. 257\u2013268. Springer, Heidelberg (1998)"},{"issue":"4-6","key":"8_CR16","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. Simulation\u00a042(4-6), 571\u2013582 (1996)","journal-title":"Math. Comput. Simulation"},{"key":"8_CR17","unstructured":"Johnson, J.R.: Algorithms for polynomial real root isolation. Ph.d. Thesis. The Ohio state University (1991)"},{"issue":"11","key":"8_CR18","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1016\/S0010-4485(00)00054-3","volume":"32","author":"J. Keyser","year":"2000","unstructured":"Keyser, J., Culver, T., Krishnan, S.: Efficient and exact manipulation of algebraic points and curve. Computer Aided Design\u00a032(11), 649\u2013662 (2000)","journal-title":"Computer Aided Design"},{"key":"8_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4939-9063-4","volume-title":"A basic course in algebraic topology","author":"W.S. Massey","year":"1991","unstructured":"Massey, W.S.: A basic course in algebraic topology. Springer, Heidelberg (1991)"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Ni, X.L., Garland, M., Hart, J.C.: Fair morse functions for extracting topological structure of a surface mesh. In: Proc. SIGGRAPH 2004 (2004)","DOI":"10.1145\/1186562.1015769"},{"issue":"1","key":"8_CR21","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. Australian Math. Soc.\u00a043(1), 37\u201350 (1991)","journal-title":"Bull. Australian Math. Soc."},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Stander, B.T., Hart, J.C.: Guaranteeing the topology of an implicit surface polygonization for interactive modeling. In: Proc. SIGGRAPH 1997, pp. 279\u2013286 (1997)","DOI":"10.1145\/258734.258868"},{"key":"8_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6323-4","volume-title":"Algebraic curves","author":"R.J. Walker","year":"1978","unstructured":"Walker, R.J.: Algebraic curves. Springer, Heidelberg (1978)"},{"key":"8_CR24","volume-title":"Mathematics Mechanization","author":"W.T. Wu","year":"2000","unstructured":"Wu, W.T.: Mathematics Mechanization. Science Press\/Kluwer, Beijing (2000)"},{"key":"8_CR25","volume-title":"Nonlinear Algebraic Equation System and Automated Theorem Proving","author":"L. Yang","year":"1996","unstructured":"Yang, L., Zhang, J.Z., Hou, X.R.: Nonlinear Algebraic Equation System and Automated Theorem Proving. Shanghai Scientific and Technological Education Publishing House, Shanghai (1996)"},{"key":"8_CR26","unstructured":"Zhang, S.G., Liu, D.Z., Feng, G.C.: Computer Mathematics: an introduction (in Chinese). Jilin University Press (1997)"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Surfaces XI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11537908_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T21:05:20Z","timestamp":1683234320000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11537908_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540282259","9783540318354"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11537908_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}