An efficient algorithm for the stratification and triangulation of an algebraic surface

Alcázar, 2007, A delineability-based method for computing critical sets of algebraic surfaces, Journal of Symbolic Computation, 42, 678, 10.1016/j.jsc.2007.02.001 Alcázar, 2005, Computation of the topology of real algebraic space curves, Journal of Symbolic Computation, 39, 719, 10.1016/j.jsc.2005.01.006 Arnon, 1988, A cluster-based cylindrical algebraic decomposition algorithm, Journal of Symbolic Computation, 5, 189, 10.1016/S0747-7171(88)80012-9 Arnon, 1984, Cylindrical algebraic decomposition I: The basic algorithm, SIAM Journal on Computing, 13, 865, 10.1137/0213054 Arnon, 1984, Cylindrical algebraic decomposition II: An adjacency algorithm for the plane, SIAM Journal on Computing, 13, 878, 10.1137/0213055 Arnon, 1988, An adjacency algorithm for cylindrical algebraic decompositions of three-dimensional space, Journal of Symbolic Computation, 5, 163, 10.1016/S0747-7171(88)80011-7 Austern, 1999 Bajaj, 1997, Spline approximations of real algebraic surfaces, Journal of Symbolic Computation, 23, 315, 10.1006/jsco.1996.0091 Basu, 2006, Algorithms in Real Algebraic Geometry, vol. 10 Berberich, 2005, An exact, complete and efficient implementation for computing planar maps of quadric intersection curves, 99 Berberich, 2008, Exact geometric–topological analysis of algebraic surfaces, 164 Berberich, 2008, A generic and flexible framework for the geometrical and topological analysis of (algebraic) surfaces, 171 Boissonnat, 2007, Meshing of surfaces, 181 Bredon, 1993 Brown, 2001, Improved projection for cylindrical algebraic decomposition, Journal of Symbolic Computation, 32, 447, 10.1006/jsco.2001.0463 Brown 1998 J.-S. Cheng, X.-S. Gao, M. Li, Determining the topology of real algebraic surfaces, in: R. Martin, H. Bez, M. Sabin (Eds.), 11 IMA Conference on the Mathematics of Surfaces, in: LNCS, vol. 3604, 2005, pp. 121–146 G.E. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition, in: Second GI Conference on Automata Theory and Formal Languages, in: LNCS, vol. 33, 1975, pp. 134–183. Reprinted in [17], pp. 85–121 Collins, 2002, Interval arithmetic in cylindrical algebraic decomposition, Journal of Symbolic Computation, 34, 145, 10.1006/jsco.2002.0547 D.N. Daouda, B. Mourrain, O. Ruatta, On the computation of the topology of a non-reduced implicit space curve, in: Proceedings of the Twenty-First International Symposium on Symbolic and Algebraic Computation (ISSAC 2008), 2008, pp. 47–54 D. Diochnos, I.Z. Emiris, E.P. Tsigaridas, On the complexity of real solving bivariate systems, in: C.W. Brown (Ed.), Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation (ISSAC 2007), 2007, pp. 127–134 A. Eigenwillig, Real root isolation for exact and approximate polynomials using Descartes' rule of signs, Ph.D. thesis, Universität des Saarlandes, Germany, 2008 A. Eigenwillig, M. Kerber, Exact and efficient 2D-arrangements of arbitrary algebraic curves, in: Proceedings of the Nineteenth Annual ACM–SIAM Symposium on Discrete Algorithms (SODA08), 2008, pp. 122–131 A. Eigenwillig, M. Kerber, N. Wolpert, Fast and exact geometric analysis of real algebraic plane curves, in: C.W. Brown (Ed.), Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation (ISSAC 2007), 2007, pp. 151–158 A. Eigenwillig, L. Kettner, W. Krandick, K. Mehlhorn, S. Schmitt, N. Wolpert, A Descartes algorithm for polynomials with bit-stream coefficients, in: 8th International Workshop on Computer Algebra in Scientific Computing (CASC 2005), in: LNCS, vol. 3718, 2005, pp. 138–149 El Kahoui, 2008, Topology of real algebraic space curves, Journal of Symbolic Computation, 43, 235, 10.1016/j.jsc.2007.10.008 Fortuna, 2004, Algorithmical determination of the topology of a real algebraic surfaces, Journal of Symbolic Computation, 38, 1551, 10.1016/j.jsc.2004.08.001 Fortuna, 2003, Algorithms to compute the topology of orientable real algebraic surfaces, Journal of Symbolic Computation, 36, 343, 10.1016/S0747-7171(03)00085-3 Gatellier, 2005, Computing the topology of 3-dimensional algebraic curves, 27 Gonzalez-Vega, 1996, An improved upper complexity bound for the topology computation of a real algebraic plane curve, Journal of Complexity, 12, 527, 10.1006/jcom.1996.0032 Gonzalez-Vega, 2002, Efficient topology determination of implicitly defined algebraic plane curves, Computer Aided Geometric Design, 19, 719, 10.1016/S0167-8396(02)00167-X L. Gonzalez-Vega, T. Recio, H. Lombardi, M.-F. Roy, Sturm–Habicht sequences, determinants and real roots of univariate polynomials, in: [17], pp. 300–316 Hong, 1996, An efficient method for analyzing the topology of plane real algebraic curves, Mathematics and Computers in Simulation, 42, 571, 10.1016/S0378-4754(96)00034-1 V. Karamcheti, C. Li, I. Pechtchanski, C. Yap, A core library for robust numeric and geometric computation, in: Proceedings of the 15th Annual ACM Symposium of Computational Geometry (SCG), 1999, pp. 351–359 Loos, 1982, Generalized polynomial remainder sequences, 115 Massey, 1967 S. McCallum, An improved projection operation for cylindrical algebraic decomposition, in: [17], pp. 242–268 McCallum, 2002, Local box adjacency algorithms for cylindrical algebraic decompositions, Journal of Symbolic Computation, 33, 321, 10.1006/jsco.2001.0499 B. Mourrain, J.-P. Técourt, Isotopic Meshing of a real algebraic surface, Technical Report 5508, INRIA Sophia-Antipolis, 2005 Plantinga, 2007, Isotopic meshing of implicit surfaces, The Visual Computer, 23, 45, 10.1007/s00371-006-0083-6 R. Seidel, N. Wolpert, On the exact computation of the topology of real algebraic curves, in: Proceedings of the 21st Annual ACM Symposium on Computational Geometry (SCG 2005), 2005, pp. 107–115 Stander, 1997, Guaranteeing the topology of an implicit surface polygonization for interactive modeling, 279 Strzebonski, 2006, Cylindrical algebraic decomposition using validated numerics, Journal of Symbolic Computation, 41, 1021, 10.1016/j.jsc.2006.06.004 Wein Wein, 2007, Advanced programming techniques applied to Cgals arrangement package, Computational Geometry: Theory and Applications, 38, 37, 10.1016/j.comgeo.2006.11.007 Yap, 2004, Robust geometric computation, 927