Exact geometric-topological analysis of algebraic surfaces

Proceedings of the Annual Symposium on Computational Geometry

Volumn , Issue , 2008, Pages 164-173

  Berberich, Eric ^a   Kerber, Michael ^a   Sagraloff, Michael ^a  

^a MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

Algebraic surfaces; Cylindrical algebraic decomposition; Exact geometric computation; Topology computation

Indexed keywords

EQUATIONS OF STATE; MATHEMATICAL TRANSFORMATIONS; NUMERICAL METHODS; SURFACE ANALYSIS; TOPOLOGY;

ALGEBRAIC GEOMETRIES; ALGEBRAIC SURFACES; ARBITRARY DEGREES; COLLINSES; COMBINATORIAL METHODS; CRITICAL POINTS; CYLINDRICAL ALGEBRAIC DECOMPOSITION; CYLINDRICAL ALGEBRAIC DECOMPOSITIONS; EXACT GEOMETRIC COMPUTATION; GEOMETRIC INFORMATIONS; PLANAR ARRANGEMENTS; SYMBOLIC COM-PUTATION; TOPOLOGICAL ANALYSES;

COMPUTATIONAL GEOMETRY;

EID: 57349143286     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1377676.1377703     Document Type: Conference Paper

References (44)

1. J. G. Alcázar, J, Schicho, J. R. Sendra: "A delineability-based method for computing critical sets of algebraic surfaces". Journal of Symbolic Computation 42 (2007) 678-691.
2. J. G. Alcázar, R. Sendra: "Computation of the Topology of Real Algebraic Space Curves". Journal of Symbolic Computation 39 (2005) 719-744.
3. D. S. Anion: "A Cluster-Based Cylindrical Algebraic Decomposition Algorithm". Journal of Symbolic Computation 5 (1988) 189-212.
4. D. S. Arnon, G. E. Collins, S. McCallum: "Cylindrical Algebraic Decomposition I: The Basic Algorithm". SIAM Journal on Computing 13 (1984) 865-877. Reprinted in [15], pp. 136-151.
5. D. S. Arnon, G. E. Collins, S. McCallum: "Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane". SLAM Journal on Computing 13 (1984) 878-889. Reprinted in [15], pp. 152-165.
6. D. S. Arnon, G. E. Collins, S. McCallum: "An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space". Journal of Symbolic Computation 5 (1988) 163-187.
7. M. H. Austern: Generic Programming and the STL. Addison-Wesley, 1999.
8. C. L. Bajaj, G. Xu: "Spline Approximations of Real Algebraic Surfaces". Journal of Symbolic Computation 23 (1997) 315-333.
9. S. Basu, R. Pollack, M.-F. Roy: Algorithms in Real Algebraic Geometry, Algorithms and Computation in Mathematics, vol. 10. Springer, 2nd edn., 2006.
10. E. Berberich, M. Hemmer, L. Kettner, E. Schomer, N. Wolpert: "An Exact, Complete and Efficient Implementation for Computing Planar Maps of Quadric Intersection Curves". In: J. Mitchell, G. Rote, L. Kettner (eds.) 21'st Annual Symposium on Computational Geometry (SCG'05). Association for Computing Machinery (ACM), ACM, Pisa, Italy, 2005 99-106.
11. J.-D. Boissonnat, D. Cohen-Steiner, B. Mourrain, G. Rote, G. Vegter: "Meshing of Surfaces". In: J.-D. Boissonnat, M. Teillaud (eds.) Effective Computational Geometry for Curves and Surfaces, 181-229. Springer, 2007.
12. G. E. Bredon: Topology and Geometry. Springer, 1993.
13. C. W. Brown: "Improved projection for cylindrical algebraic decomposition". Journal of Symbolic Computation 32 (2001) 447-465.
14. C. W. Brown: "Constructing Cylindrical Algebraic Decompositions of the Plane Quickly", 2002. URL http://www.cs.usna.edu/~wcbrown/. Unpublished.
15. B. F. Caviness, J. R. Johnson (eds.): Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and Monographs in Symbolic Computation. Springer, 1998.
16. 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, LNCS, vol. 3604, 2005 121-146.
17. G. E. Collins: "Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition". In: Second GI Conference on Automata Theory and Formal Languages, LNCS, vol. 33, 1975 134-183. Reprinted in [15], pp. 85-121.
18. G. E. Collins, J. R. Johnson, W. Krandick: "Interval Arithmetic in Cylindrical Algebraic Decomposition". Journal of Symbolic Computation 34 (2002) 145-157.
19. D. Diochnos, I. Z. Emiris, E. P. Tsigaridas: "On the Complexity of Real Solving Bivariate Systems". In: C. W. Brown (ed.) Proocedings of the 2007 International Symposium on Symbolic and Algebraic Computation (ISSAC 2007), 2007 127-134.
20. A. Eigenwillig: Real Root Isolation for Exact and Approximate Polynomials Using Descartes' Rule of Signs. Ph.D. thesis, Universitat des Saarlandes, Germany, 2008.
21. 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 (SODA0S), 2008 122-131.
22. A. Eigenwillig, M. Kerber, N. Wolpert: "Fast and Exact Geometric Analysis of Real Algebraic Plane Curves". In: C. W. Brown (ed.) Proocedings of the 2007 International Symposium on Symbolic and Algebraic Computation (ISSAC 2007), 2007 151-158.
23. 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 (CASC2005), LNCS, vol. 3718, 2005 138-149.
24. M. El Kahoui: "Topology of Real Algebraic Space Curves". Journal of Symbolic Computation (2007). In press.
25. E. Fortuna, P. Gianni, D. Luminati: "Algorithmical determination of the topology of a real algebraic surfaces". Journal of Symbolic Computation 38 (2004) 1551-1567.
26. E. Fortuna, P. Gianni, P. Parenti, C. Traverso: "Algorithms to compute the topology of orientable real algebraic surfaces". Journal of Symbolic Computation 36 (2003) 343-364.
27. G. Gatellier, A. Labrouzy, B. Mourrain, J.-P. Técourt: "Computing the topology of 3-dimensional algebraic curves". In: Computational Methods for Algebraic Spline Surfaces. Springer, 2005 27-44.
28. L. Gonzalez-Vega, M. El Kahoui: "An Improved Upper Complexity Bound for the Topology Computation of a Real Algebraic Plane Curve". Journal of Complexity 12 (1996) 527-544.
29. L. Gonzalez-Vega, I. Necula: "Efficient Topology Determination of Implicitly Defined Algebraic Plane Curves". Computer Aided Geometric Design 19 (2002) 719-743.
30. L. Gonzalez-Vega, T. Recio, H. Lombardi, M.-F. Roy: "Sturm-Habicht Sequences, Determinants and Real Roots of Univariate Polynomials". In [15], pp. 300-316.
31. H. Hong: "An Efficient Method for Analyzing the Topology of Plane Real Algebraic Curves". Mathematics and Computers in Simulation 42 (1996) 571-582.
32. 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 351-359.
33. R. Loos: "Generalized polynomial remainder sequences". In: B. Buchberger, G. Collins, L. Loos (eds.) Computer Algebra - Symbolic and Algebraic Computation, 115-138. Springer, 1982.
34. W. Massey: Algebraic Topology. Springer, 1967.
35. S. McCallum: "An Improved Projection Operation for Cylindrical Algebraic Decomposition". In [15], pp. 242-268.
36. S. McCallum, G. E. Collins: "Local Box Adjacency Algorithms for Cylindrical Algebraic Decompositions". Journal of Symbolic Computation 33 (2002) 321-342.
37. B. Mourrain, J.-P. Técourt: Isotopic Meshing of a real algebraic surface. Technical Report 5508, INRIA Sophia-Antipolis, 2005.
38. S. Plantinga, G. Vegter: "Isotopic meshing of implicit surfaces". The Visual Computer 23 (2007) 45-58.
39. 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 107-115.
40. B. T. Stander, J. C. Hart: "Guaranteeing the topology of an implicit surface polygonization for interactive modeling". In: S1GGRAPH '97: Proceedings of the 24th annual conference on Computer graphics and interactive techniques. ACM Press/Addison-Wesley Publishing Co., New York, NY, USA, 1997 279-286.
41. A. W. Strzebonski: "Cylindrical Algebraic Decomposition using validated numerics". Journal of Symbolic Computation 41(2006) 1021-1038.
42. R. Wein, E. Fogel, B. Zukerman, D. Halperin: "2D Arrangements". In: CGAL-3.3 User and Reference Manual, 2007. URL http://www.cgal.org/ Mamial/3.3/doc-html/cgal-manual/Arrangement-2/Chapter-main.html.
43. R. Wein, E. Fogel, B. Zukerman, D. Halperin: "Advanced Programming Techniques Applied to Coal's Arrangement Package". Computational Geometry - Theory and Applications 38 (2007) 37-63.
44. C. K. Yap: "Robust Geometric Computation". In: J. E. Goodman, J. O'Rourke (eds.) Handbook of Discrete and Computational Geometry, chap. 41, 927-952. CRC Press, 2nd edn., 2004.