{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:16Z","timestamp":1725490216680},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540738428"},{"type":"electronic","value":"9783540738435"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73843-5_1","type":"book-chapter","created":{"date-parts":[[2007,8,27]],"date-time":"2007-08-27T14:13:59Z","timestamp":1188224039000},"page":"1-28","source":"Crossref","is-referenced-by-count":6,"title":["Regularity Criteria for the Topology of Algebraic Curves and Surfaces"],"prefix":"10.1007","author":[{"given":"Lionel","family":"Alberti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard","family":"Mourrain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"Introduction to implicit surfaces","author":"J. Bloomenthal","year":"1997","unstructured":"Bloomenthal, J.: Introduction to implicit surfaces. Morgan Kaufmann, San Francisco (1997)"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0167-8396(96)00024-6","volume":"14","author":"T.A. Grandine","year":"1997","unstructured":"Grandine, T.A., Klein, F.W.: A new approach to the surface intersection problem. Computer Aided Geometric Design\u00a014, 111\u2013134 (1997)","journal-title":"Computer Aided Geometric Design"},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1137\/1.9781611971668.ch10","volume-title":"Geometry Processing for Design and Manufacturing","author":"G. Farin","year":"1992","unstructured":"Farin, G.: An ssi bibliography. In: Geometry Processing for Design and Manufacturing, pp. 205\u2013207. SIAM, Philadelphia (1992)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Kalra, D., Barr, A.: Guaranteed ray intersections with implicit surfaces. In: Proc. of SIGGRAPH, vol.\u00a023, pp. 297\u2013306 (1989)","DOI":"10.1145\/74334.74364"},{"issue":"4","key":"1_CR5","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1145\/37402.37422","volume":"21","author":"W. Lorensen","year":"1987","unstructured":"Lorensen, W., Cline, H.: Marching cubes: a high resolution 3d surface construction algorithm. Comput. Graph.\u00a021(4), 163\u2013170 (1987)","journal-title":"Comput. Graph."},{"key":"1_CR6","unstructured":"Zhou, Y., Baoquan, C., Kaufman, A.: Multiresolution tetrahedral framework for visualizing regular volume data. In: Proc. of Visualization 1997, pp. 135\u2013142 (1997)"},{"issue":"4","key":"1_CR7","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/0167-8396(88)90013-1","volume":"5","author":"J. Bloomenthal","year":"1988","unstructured":"Bloomenthal, J.: Polygonization of implicit surfaces. Computer-Aided Geometric Design\u00a05(4), 341\u2013355 (1988)","journal-title":"Computer-Aided Geometric Design"},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1016\/B978-0-12-336156-1.50040-9","volume-title":"Graphics Gems IV","author":"J. Bloomenthal","year":"1994","unstructured":"Bloomenthal, J.: An implicit surface polygonizer. In: Heckbert, P. (ed.) Graphics Gems IV, pp. 324\u2013349. Academic Press, Boston, MA (1994)"},{"issue":"3","key":"1_CR9","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s003710050126","volume":"14","author":"E. Hartmann","year":"1998","unstructured":"Hartmann, E.: A marching method for the triangulation of surfaces. Visual Computer\u00a014(3), 95\u2013108 (1998)","journal-title":"Visual Computer"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Witkin, A., Heckbert, P.: Using particles to sample and control implicit surface. In: Proc. of SIGGRAPH, pp. 269\u2013277 (1994)","DOI":"10.1145\/192161.192227"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1016\/j.gmod.2005.01.004","volume":"67","author":"J.D. Boissonnat","year":"2005","unstructured":"Boissonnat, J.D., Oudot, S.: Provably good sampling and meshing of surfaces. Graphical Models\u00a067, 405\u2013451 (2005)","journal-title":"Graphical Models"},{"key":"1_CR12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511546860","volume-title":"Curve and Surface Reconstruction: Algorithms with Mathematical Analysis (Cambridge Monographs on Applied and Computational Mathematics)","author":"T.K. Dey","year":"2006","unstructured":"Dey, T.K.: Curve and Surface Reconstruction: Algorithms with Mathematical Analysis (Cambridge Monographs on Applied and Computational Mathematics). Cambridge University Press, New York, USA (2006)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Automata Theory and Formal Languages","author":"G.E. Collins","year":"1975","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Brakhage, H. (ed.) Automata Theory and Formal Languages. LNCS, vol.\u00a033, pp. 134\u2013183. Springer, Heidelberg (1975)"},{"issue":"11","key":"1_CR14","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., Manocha, D., Krishnan, S.: Efficient and exact manipulation of algebraic points and curves. Computer-Aided Design\u00a032(11), 649\u2013662 (2000)","journal-title":"Computer-Aided Design"},{"issue":"9","key":"1_CR15","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., Necula, I.: Efficient topology determination of implicitly defined algebraic plane curves. Comput. Aided Geom. Design\u00a019(9), 719\u2013743 (2002)","journal-title":"Comput. Aided Geom. Design"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/3-540-27157-0_3","volume-title":"Computational Methods for Algebraic Spline Surfaces","author":"G. Gatellier","year":"2005","unstructured":"Gatellier, G., Labrouzy, A., Mourrain, B., T\u00e9court, J.P.: Computing the topology of 3-dimensional algebraic curves. In: Computational Methods for Algebraic Spline Surfaces. LNCS, pp. 27\u201344. Springer, Heidelberg (2005)"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1016\/j.jsc.2005.01.006","volume":"39","author":"J.G. Alc\u00e1zar","year":"2005","unstructured":"Alc\u00e1zar, J.G., Sendra, J.R.: Computing the topology of real algebraic space curves. J. Symbolic Comput.\u00a039, 719\u2013744 (2005)","journal-title":"J. Symbolic Comput."},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/780506.780518","volume-title":"ISSAC 2002","author":"E. Fortuna","year":"2002","unstructured":"Fortuna, E., Gianni, P., Parenti, P., Traverso, C.: Computing the topology of real algebraic surfaces. In: ISSAC 2002. Proceedings of the 2002 international symposium on Symbolic and algebraic computation, pp. 92\u2013100. ACM Press, New York, USA (2002)"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/11537908_8","volume-title":"Mathematics of Surfaces XI","author":"J.S. Cheng","year":"2005","unstructured":"Cheng, J.S., Gao, X.S., Li, M.: Determining the topology of real algebraic surfaces. In: Martin, R., Bez, H., Sabin, M.A. (eds.) Mathematics of Surfaces XI. LNCS, vol.\u00a03604, pp. 121\u2013146. Springer, Heidelberg (2005)"},{"key":"1_CR20","unstructured":"Mourrain, B., T\u00e9court, J.: Isotopic meshing of a real algebraic surface. Technical Report 5508, INRIA Sophia-Antipolis (2005)"},{"issue":"5","key":"1_CR21","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0167-8396(93)90019-Y","volume":"10","author":"E.C. Sherbrooke","year":"1993","unstructured":"Sherbrooke, E.C., Patrikalakis, N.M.: Computation of the solutions of nonlinear polynomial systems. Comput. Aided Geom. Design\u00a010(5), 379\u2013405 (1993)","journal-title":"Comput. Aided Geom. Design"},{"key":"1_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/376957.376958","volume-title":"Proc. of 6th ACM Symposium on Solid Modelling and Applications","author":"G. Elber","year":"2001","unstructured":"Elber, G., Kim, M.S.: Geometric constraint solver using multivariate rational spline functions. In: Proc. of 6th ACM Symposium on Solid Modelling and Applications, pp. 1\u201310. ACM Press, New York (2001)"},{"key":"1_CR23","unstructured":"Mourrain, B., Pavone, J.P.: Subdivision methods for solving polynomial equations. Technical Report 5658, INRIA Sophia-Antipolis (2005)"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1016\/0010-4485(89)90015-8","volume":"21","author":"T. Sederberg","year":"1989","unstructured":"Sederberg, T.: Algorithm for algebraic curve intersection. Computer Aided Design\u00a021, 547\u2013554 (1989)","journal-title":"Computer Aided Design"},{"key":"1_CR25","unstructured":"Hass, J., Farouki, R.T., Han, C.Y., Song, X., Sederberg, T.W.: Guaranteed Consistency of Surface Intersections and Trimmed Surfaces Using a Coupled Topology Resolution and Domain Decomposition Scheme. Advances in Computational Mathematics (to appear)"},{"key":"1_CR26","unstructured":"Seong, J.K., Elber, G., Kim, M.S.: Contouring 1- and 2-Manifolds in Arbitrary Dimensions. In: SMI 2005, pp. 218\u2013227 (2005)"},{"key":"1_CR27","first-page":"171","volume-title":"Computational Methods for Algebraic Spline Surfaces","author":"C. Liang","year":"2007","unstructured":"Liang, C., Mourrain, B., Pavone, J.: Subdivision methods for 2d and 3d implicit curves (to appear). In: Computational Methods for Algebraic Spline Surfaces, pp. 171\u2013186. Springer, Heidelberg (2007), also available at http:\/\/hal.inria.fr\/inria-00130216"},{"key":"1_CR28","unstructured":"Alberti, L., Comte, G., Mourrain, B.: Meshing implicit algebraic surfaces: the smooth case. In: Maehlen, M., Morken, K., Schumaker, L.L. (eds.) Mathematical Methods for Curves and Surfaces: Tromso 2004, Nashboro, pp. 11\u201326 (2005)"},{"key":"1_CR29","series-title":"Comp. science and sci. computing","volume-title":"Curves and surfaces for computer aided geometric design : a practical guide","author":"G. Farin","year":"1990","unstructured":"Farin, G.: Curves and surfaces for computer aided geometric design: a practical guide. Comp. science and sci. computing. Academic Press, Boston, MA (1990)"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Emiris, I.Z., Mourrain, B., Tsigaridas, E.P.: Real algebraic numbers: Complexity analysis and experimentations. In: Reliable Implementation of Real Number Algorithms: Theory and Practice. LNCS, Springer, Heidelberg (to appear, 2007), also available at http:\/\/hal.inria.fr\/inria-00071370","DOI":"10.1007\/978-3-540-85521-7_4"},{"key":"1_CR31","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/1145768.1145786","volume-title":"ISSAC 2006","author":"A. Eigenwillig","year":"2006","unstructured":"Eigenwillig, A., Sharma, V., Yap, C.K.: Almost tight recursion tree bounds for the descartes method. In: ISSAC 2006. Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation, pp. 71\u201378. ACM Press, New York, USA (2006)"},{"key":"1_CR32","unstructured":"Pavone, J.: Auto-intersection de surfaces pamatr\u00e9es r\u00e9elles. PhD thesis, Universit\u00e9 de Nice Sophia-Antipolis (2004)"},{"issue":"1","key":"1_CR33","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/BF02124753","volume":"5","author":"M.S. Floater","year":"1996","unstructured":"Floater, M.S.: On zero curves of bivariate polynomials. Journal Advances in Computational Mathematics\u00a05(1), 399\u2013415 (1996)","journal-title":"Journal Advances in Computational Mathematics"},{"key":"1_CR34","doi-asserted-by":"crossref","DOI":"10.1090\/surv\/035","volume-title":"Algebraic Geometry for Scientists and Engineers","author":"S. Abhyankar","year":"1990","unstructured":"Abhyankar, S.: Algebraic Geometry for Scientists and Engineers. American Mathematical Society, Providence, RI (1990)"},{"key":"1_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6323-4","volume-title":"Algebraic curves","author":"R. Walker","year":"1978","unstructured":"Walker, R.: Algebraic curves. Springer, Heidelberg (1978)"},{"key":"1_CR36","unstructured":"Lloyd, N.G.: Degree theory. Cambridge Tracts in Mathematics, Cambridge University Press, Cambridge No. 73 (1978)"},{"key":"1_CR37","unstructured":"Dickenstein, A., Rojas, M.K.R., Shihx, J.: Extremal real algebraic geometry and a-discriminants (preprint)"},{"key":"1_CR38","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-71714-7","volume-title":"Stratified Morse Theory","author":"R.M.M. Goresky","year":"1988","unstructured":"Goresky, R.M.M.: Stratified Morse Theory. Springer, Heidelberg (1988)"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"Whitney, H.: Elementary structure of real algebraic varieties. Annals of Math.\u00a066(2) (1957)","DOI":"10.2307\/1969908"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Speder, J.P.: \u00c9quisingularit\u00e9 et conditions de Whitney. Amer. J. Math.\u00a097(3) (1975)","DOI":"10.2307\/2373766"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Thom, R.: Ensembles et morphismes stratifi\u00e9s. Bull. Amer. Math. Soc.\u00a075 (1969)","DOI":"10.1090\/S0002-9904-1969-12138-5"},{"key":"1_CR42","unstructured":"Mather, J.: Notes on topological stability. Harvard University (1970)"},{"key":"1_CR43","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/BF01231331","volume":"110","author":"D. Eisenbud","year":"1992","unstructured":"Eisenbud, D., Huneke, C., Vasconcelos, W.: Direct methods for primary decomposition. Invent. Math.\u00a0110, 207\u2013235 (1992)","journal-title":"Invent. Math."},{"key":"1_CR44","series-title":"Undergraduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2181-2","volume-title":"Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra","author":"D. Cox","year":"1992","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra. Undergraduate Texts in Mathematics. Springer, Heidelberg (1992)"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Surfaces XII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73843-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,26]],"date-time":"2020-04-26T04:36:12Z","timestamp":1587875772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73843-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540738428","9783540738435"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73843-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}