Effective computational geometry for curves and surfaces

Effective Computational Geometry for Curves and Surfaces

Volumn , Issue , 2006, Pages 1-343

  Boissonnat, Jean Daniel ^a   Teillaud, Monique ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84892224489     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-540-33259-6     Document Type: Book

References (352)

1. Boost, C++ libraries. http://www.boost.org
2. Cgal, Computational Geometry Algorithms Library. http://www.cgal.org
3. Core number library. http://cs.nyu.edu/exact/core pages.
4. Exacus, Efficient and exact algorithms for curves and surfaces. http://www.mpi-inf.mpg.de/projects/EXACUS
5. FGB/RS. http://fgbrs.lip6.fr.
6. GMP, GNU multiple precision arithmetic library. http://www.swox.com/gmp
7. Irit modeling environment. http://www.cs.technion.ac.il/~irit/.
8. Leda, Library for efficient data types and algorithms. http://www.algorithmic-solutions.com/enleda.htm.
9. MPFI, Multiple precision interval arithmetic library. http://perso.ens-lyon.fr/nathalie.revol/software.html.
10. MPFR, Multiple-precision floating-point computations. http://www.mpfr.org
11. QI: Quadrics intersection. http://www.loria.fr/equipes/isa/qi.
12. Singular, Computer algebra system for polynomial computations. http://www.singular.uni-kl.de
13. Synaps, a library for symbolic and numeric computation. http://www-sop.inria.fr/galaad/logiciels/synaps.
14. K. Abdel-Malek and H.-J. Yeh. On the determination of starting points for parametric surface intersections. Computer-Aided Design, 28:21-35, 1997.
15. P. K. Agarwal and M. Sharir. Arrangements and their applications. In J.-R. Sack and J. Urrutia, editors, Handbook of Computational Geometry, pages 49-119. Elsevier Science Publishers B.V. North-Holland, Amsterdam, 2000.
16. M. Alexa, J. Behr, D. Cohen-Or, S. Fleishman, D. Levin, and C. Silva. Point set surfaces. In IEEE, editor, Visualization, pages 21-28, 2001.
17. B. S. Alin Bostan, Philippe Flajolet and E. Schost. Fast computation of special resultants. Journal of Symbolic Computation, 41(1):1-29, January 2006.
18. R. Allegre, R. Chaine, and S. Akkouche. Convection-driven dynamic surface reconstruction. In Proc. of Shape Modeling International, pages 33-42, Cambridge, MA, USA, June 15-17 2005.
19. P. Alliez, D. Cohen-Steiner, O. Devillers, B. Ĺevy, and M. Desbrun. Anisotropic polygonal remeshing. ACM Trans. Graph., 22(3):485-493, 2003.
20. H. Alt, O. Cheong, and A. Vigneron. The Voronoi diagram of curved objects. Discrete and Computational Geometry, 34(3):439-453, 2002.
21. N. Amenta and M. Bern. Surface reconsruction by Voronoi filtering. In Proc. 14th Ann. Sympos. Comput. Geom., pages 39-48, 1998.
22. N. Amenta and M. Bern. Surface reconstruction by Voronoi filtering. Discrete Comput. Geom., 22(4):481-504, 1999.
23. N. Amenta, M. Bern, and D. Eppstein. The crust and the β-skeleton: Combinatorial curve reconstruction. Graphical Models and Image Processing, 60:125-135, 1998.
24. N. Amenta, M. Bern, and D. Eppstein. The crust and the β-skeleton: Combinatorial curve reconstruction. Graphical models and image processing: GMIP, 60(2):125-135, 1998.
25. N. Amenta, S. Choi, T. K. Dey, and N. Leekha. A simple algorithm for home-omorphic surface reconstruction. In Proc. 16th Ann. Sympos. Comput. Geom., pages 213-222, 2000.
26. N. Amenta, S. Choi, and R. Kolluri. The power crust. In ACM Solid Modeling, pages 249-260, 2001.
27. N. Amenta, S. Choi, and R. K. Kolluri. The power crust, unions of balls, and the medial axis transform. Comput. Geom. Theory Appl., 19:127-153, 2001.
28. M. Armstrong. Basic Topology. Undergraduate Texts in Mathematics. Springer-Verlag, New York, Berlin, Heidelberg, 1983.
29. V. I. Arnol'd, S. M. Gusein-Zade, and A. N. Varchenko. Singularities of dif-ferentiable maps. Vol.I: The classification of critical points, caustics and wave fronts, volume 82 of Monographs in Mathematics. Birkḧauser Boston Inc., Boston, MA, 1985.
30. D. Attali. r-regular shape reconstruction from unorganized points. Comput. Geom. Theory Appl., 10:239-247, 1998.
31. D. Attali and J.-D. Boissonnat. A linear bound on the complexity of the delaunay triangulation of points on polyhedral surfaces. Discrete and Comp. Geometry, 31:369-384, 2004.
32. D. Attali, J.-D. Boissonnat, and H. Edelsbrunner. Stability and computation of medial axes: a state of the art report. In T. M̈oller, B. Hamann, and B. Russell, editors, Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration, Mathematics and Visualization. Springer-Verlag.
33. D. Attali, J.-D. Boissonnat, and A. Lieutier. Complexity of the Delaunay trian-gulation of points on surfaces the smooth case. In Proc. 19th Ann. Symposium on Computational Geometry, pages 201-210, San Diego, 2003. ACM Press.
34. M. Attene and M. Spagnuolo. Automatic surface reconstruction from point sets in space. In Eurographics, pages 457-465. ACM Press, 2000.
35. F. Aurenhammer. Power diagrams: properties, algorithms and applications. SIAM J. Comput., 16:78-96, 1987.
36. F. Aurenhammer. Linear combinations from power domains. Geom. Dedicata, 28:45-52, 1988.
37. F. Aurenhammer and R. Klein. Voronoi diagrams. In J.-R. Sack and J. Urrutia, editors, Handbook of Computational Geometry, pages 201-290. Elsevier Science Publishers B.V. North-Holland, Amsterdam, 2000
38. M. H. Austern. Generic Programming and the STL. Addison Wesley, 1999.
39. W. Auzinger and H. J. Stetter. An elimination algorithm for the computation of all zeros of a system of multivariate polynomial equations. In Proc. Intern. Conf. on Numerical Math., volume 86 of Int. Series of Numerical Math, pages 12-30. Birkḧauser Verlag, 1988.
40. C. Bajaj and M.-S. Kim. Generation of configuration space obstacles: the case of moving algebraic surfaces. Algorithmica, 4:155-172, 1989.
41. T. F. Banchoff. Critical points and curvature for embedded polyhedra. J. Diff. Geom., 1:245-256, 1967.
42. T. F. Banchoff. Critical points and curvature for embedded polyhedral surfaces. Amer. Math. Monthly, 77:475-485, 1970.
43. G. Barequet and V. Rogol. Maximizing the area of an axially-symmetric polygon inscribed by a simple polygon. In 16th Canadian Conf. on Computational Geometry, pages 128-131, 2004.
44. S. Basu, R. Pollack, and M.-F. Roy. Algorithms in Real Algebraic Geometry. Springer-Verlag, Berlin, 2003. ISBN 3-540-00973-6.
45. J. L. Bentley. Multidimensional binary search trees used for associative searching. Commun. ACM, 18(9):509-517, Sept. 1975.
46. J. L. Bentley and T. A. Ottmann. Algorithms for reporting and counting geometric intersections. IEEE Trans. Comput., C-28(9):643-647, Sept. 1979.
47. E. Berberich. Exact Arrangements of Quadric Intersection Curves. Universiẗat des Saarlandes, Saarbrücken, 2004. Master Thesis.
48. E. Berberich, A. Eigenwillig, M. Hemmer, S. Hert, L. Kettner, K. Mehlhorn, J. Reichel, S. Schmitt, E. Scḧomer, and N. Wolpert. EXACUS: Efficient and exact algorithms for curves and surfaces. In Proc. 13th Annu. European Sym-pos. Algorithms (ESA'05), volume 3669 of Lecture Notes in Computer Science, pages 155-166, Oct. 2005.
49. E. Berberich, A. Eigenwillig, M. Hemmer, S. Hert, K. Mehlhorn, and E. Scḧomer. A computational basis for conic arcs and Boolean operations on conic polygons. In Proc. 10th European Symposium on Algorithms, volume 2461 of Lecture Notes in Computer Science, pages 174-186. Springer-Verlag, 2002.
50. E. Berberich, M. Hemmer, L. Kettner, E. Scḧomer, and N. Wolpert. An exact, complete and efficient implementation for computing planar maps of quadric intersection curves. In Proc. 21th Annual Symposium on Computational Geometry, pages 99-106, 2005.
51. M. Berger and B. Gostiaux. Differential Geometry: Manifolds, Curves and Surfaces. Graduate Texts in Mathematics No. 115. Springer-Verlag, New York, 1988. (translated by S. Levy).
52. F. Bernardini, J. Mittleman, H. Rushmeir, C. Silva, and G. Taubin. The ball-pivoting algorithm for surface reconstruction. IEEE Transactions on Visualization and Computer Graphics, 5(4):349-359, 1999.
53. H. Bieri. Nef polyhedra: A brief introduction. Computing Suppl., 10:43-60, 1995.
54. J.-D. Boissonnat. Geometric structures for three-dimensional shape representation. ACM Trans. Graph., 3(4):266-286, 1984.
55. J.-D. Boissonnat and F. Cazals. Coarse-to-fine surface simplification with geometric guarantees. In Eurographics, 01.
56. J.-D. Boissonnat and F. Cazals. Smooth surface reconstruction via natural neighbour interpolation of distance functions. In Proc. 16th Ann. Sympos. Comput. Geom., pages 223-232, 2000.
57. J.-D. Boissonnat and F. Cazals. Smooth surface reconstruction via natural neighbour interpolation of distance functions. In Proc. 16th Ann. Symposium on Computational Geometry, pages 223-232. ACM Press, 2000.
58. J.-D. Boissonnat and F. Cazals. Coarse-to-fine surface simplification with geometric guarantees. In A. Chalmers and T.-M. Rhyne, editors, Eurographics'01, pages 490-499, Manchester, 2001. Blackwell.
59. J.-D. Boissonnat and F. Cazals. Natural coordinates of points on a surface. Comput. Geom. Theory Appl., 19:155-173, 2001.
60. J.-D. Boissonnat, A. Ćeŕezo, O. Devillers, and M. Teillaud. Output-sensitive construction of the Delaunay triangulation of points lying in two planes. In-ternat. J. Comput. Geom. Appl., 6(1):1-14, 1996.
61. J.-D. Boissonnat, D. Cohen-Steiner, and G. Vegter. Isotopic implicit surface meshing. In Proc. 36th Ann. ACM Symposium on Theory of Computing, pages 301-309, New York, June 2004. ACM Press.
62. J.-D. Boissonnat and C. Delage. Convex hulls and Voronoi diagrams of ad-ditively weighted points. In Proc. 13th European Symposium on Algorithms, Lecture Notes in Computer Science, pages 367-378. Springer, 2005.
63. J.-D. Boissonnat and M. Karavelas. On the combinatorial complexity of Euclidean Voronoi cells and convex hulls of d-dimensional spheres. In Proc. 14th ACM-SIAM Sympos. Discrete Algorithms (SODA), pages 305-312, 2003.
64. J.-D. Boissonnat and S. Oudot. Provably good surface sampling and approximation. In SGP '03: Proceedings of the 2003 Eurographics/ACM SIGGRAPH symposium on Geometry processing, pages 9-18, Aire-la-Ville, Switzerland, Switzerland, 2003. Eurographics Association.
65. J.-D. Boissonnat and S. Oudot. Provably good sampling and meshing of surfaces. Graphical Models, 67:405-451, 2005.
66. J.-D. Boissonnat and S. Oudot. Provably good sampling and meshing of lip-schitz surfaces. In Proc. 22nd Ann. Sympos. Comput. Geom., 2006.
67. J.-D. Boissonnat and M. Yvinec. Algorithmic Geometry. Cambridge University Press, UK, 1998.
68. V. Borrelli, F. Cazals, and J.-M. Morvan. On the angular defect of triangu-lations and the pointwise approximation of curvatures. Comput. Aided Geom. Design, 20:319-341, 2003.
69. H. Br̈onnimann, C. Burnikel, and S. Pion. Interval arithmetic yields efficient dynamic filters for computational geometry. Discrete Applied Mathematics, 109:25-47, 2001.
70. H. Br̈onnimann, L. Kettner, S. Schirra, and R. Veltkamp. Applications of the generic programming paradigm in the design of CGAL. In M. Jazayeri, R. Loos, and D. Musser, editors, Generic Programming-Proceedings of a Dagstuhl Seminar, volume 1766 of Lecture Notes in Computer Science, pages 206-217. Springer-Verlag, 2000.
71. H. Br̈onnimann, G. Melquiond, and S. Pion. The Boost interval arithmetic library. In Proc. 5th Conference on Real Numbers and Computers, pages 65-80, 2003.
72. J. L. Brown. Systems of coordinates associated with points scattered in the plane. Comput. Aided Design, 14:547-559, 1997.
73. C. Burnikel, S. Funke, K. Mehlhorn, S. Schirra, and S. Schmitt. A separation bound for real algebraic expressions. Technical Report ECG-TR-123101-02, MPI Saarbrücken, 2002.
74. C. Burnikel, S. Funke, and M. Seel. Exact geometric computation using cascading. Internat. J. Comput. Geom. Appl., 11:245-266, 2001.
75. C. Burnikel, K. Mehlhorn, and S. Schirra. How to compute the Voronoi diagram of line segments: Theoretical and experimental results. In Proc. 2nd Annu. European Sympos. Algorithms, volume 855 of Lecture Notes Comput. Sci., pages 227-239. Springer-Verlag, 1994.
76. C. Burnikel, K. Mehlhorn, and S. Schirra. The LEDA class real number. Technical Report MPI-I-96-1-001, Max-Planck Institut Inform., Saarbrücken, Germany, Jan. 1996.
77. J. Canny. The Complexity of Robot Motion Planning. ACM-MIT Press Doctoral Dissertation Award Series. MIT Press, Cambridge, MA, 1987.
78. H. Carr, J. Snoeyink, and U. Axen. Computing contour trees in all dimensions. Computational Geometry, 24:75-94, 2003.
79. J. Carr, R. Beatson, J. Cherrie, T. Mitchell, T. Fright, B. McCallum, and T. Evans. Reconstruction and representation of 3d objects with radial basis functions. In Siggraph, pages 67-76. ACM, 2001.
80. H. Cartan. Differential Calculus. Houghton Mifflin Co, 1971.
81. F. Cazals, J. Giesen, M. Pauly, and A. Zomorodian. Conformal alpha shapes. In Symposium on Point Based Graphics, 2005.
82. R. Chaine. A convection geometric-based approach to surface reconstruction. In Symp. Geometry Processing, pages 218-229, 2003.
83. F. Chazal and A. Lieutier. The lambda medial axis. Graphical Models, 67: 304-331, 2005.
84. B. Chazelle. An optimal convex hull algorithm in any fixed dimension. Discrete Comput. Geom., 10:377-409, 1993.
85. B. Chazelle, H. Edelsbrunner, L. J. Guibas, and M. Sharir. A singly-exponential stratification scheme for real semi-algebraic varieties and its applications. The-oret. Comput. Sci., 84:77-105, 1991.
86. B. Chazelle et al. Application challenges to computational geometry: CG impact task force report. Technical Report TR-521-96, Princeton Univ., Apr. 1996.
87. B. Chazelle et al. Application challenges to computational geometry: CG impact task force report. In B. Chazelle, J. E. Goodman, and R. Pollack, editors Advances in Discrete and Computational Geometry, volume 223 of Contemporary Mathematics, pages 407-463. American Mathematical Society, Providence, 1999.
88. H.-L. Cheng, T. K. Dey, H. Edelsbrunner, and J. Sullivan. Dynamic skin triangulation. Discrete Comput. Geom., 25:525-568, 2001.
89. S.-W. Cheng, T. K. Dey, H. Edelsbrunner, M. A. Facello, and S.-H. Teng. Sliver exudation. In Proc. 15th Ann. Sympos. Comput. Geom., pages 1-13, 1999.
90. S.-W. Cheng, T. K. Dey, E. A. Ramos, and T. Ray. Sampling and meshing a surface with guaranteed topology and geometry. In Proc. 20th Ann. Sympos. Comput. Geom., pages 280-289, 2004.
91. L. P. Chew. Guaranteed-quality mesh generation for curved surfaces. In Proc. 9th Ann. Sympos. Comput. Geom., pages 274-280, 1993.
92. Y.-J. Chiang, T. Lenz, X. Lu, and G. Rote. Simple and optimal output-sensitive construction of contour trees using monotone paths. Computational Geometry, Theory and Applications, 30:165-195, 2005.
93. D. Cohen-Steiner. Topics in Surface Discretization. PhD thesis, Ecole Poly-technique, 2004.
94. D. Cohen-Steiner and F. Da. A greedy Delaunay based surface reconstruction algorithm. The Visual Computer, 20:4-16, 2004.
95. D. Cohen-Steiner and J.-M. Morvan. Approximation of normal cycles. Research Report 4723, INRIA, 2003.
96. D. Cohen-Steiner and J.-M. Morvan. Approximation of the curvature measures of a smooth surface endowed with a mesh. Research Report 4867, INRIA, 2003.
97. D. Cohen-Steiner and J.-M. Morvan. Approximation of the second fundamental form of a hypersurface of a riemannian manifold. Research Report 4868, INRIA, 2003.
98. D. Cohen-Steiner and J.-M. Morvan. Restricted Delaunay triangulations and normal cycles. In Proc. 19th Ann. Symposium on Computational Geometry, pages 237-246, San Diego, CA, June 2003.
99. K. Cole-McLaughlin, H. Edelsbrunner, J. Harer, V. Natarajan, and V. Pas-cucci. Loops in Reeb graphs of 2-manifolds. Discrete Comput. Geom., 32(2):231-244, 2004.
100. E. Collins. Quantifier elimination by cylindrical algebraic decomposition-twenty years of progress. In B. Caviness and J. Johnson, editors, Quantifier Elimination and Cylindrical Algebraic Decomposition, pages 8-23. Springer Verlag, 1998.
101. G. E. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In Proc. 2nd GI Conference on Automata Theory and Formal Languages, volume 33 of Lecture Notes Comput. Sci., pages 134-183. Springer-Verlag, 1975.
102. G. E. Collins and J. R. Johnson. Quantifier elimination and the sign variation method for real root isolation. In ISSAC '89: Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation, pages 264-271, New York, NY, USA, 1989. ACM Press.
103. M. L. Connolly. Analytical molecular surface calculation. J. Appl. Cryst., 16:548-558, 1983.
104. M. L. Connolly. Molecular surfaces: A review, 1996. http://www.netsci. org/Science/Compchem/feature14.html.
105. R. Corless, P. Gianni, and B. Trager. A reordered Schur factorization method for zero-dimensional polynomial systems with multiple roots. In Proc. International Conference on Symbolic and Algebraic Computation, pages 133-140. ACM Press, 1997.
106. M. Coste. An introduction to semi-algebraic geometry. RAAG network school, 2002.
107. D. Cox, J. Little, and D. O'Shea. Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra. Undergraduate Texts in Mathematics. Springer Verlag, New York, 1992.
108. H. S. M. Coxeter. Introduction to Geometry. John Wiley & Sons, New York, 2nd edition, 1969
109. M. de Berg, L. J. Guibas, and D. Halperin. Vertical decompositions for triangles in 3-space. Discrete Comput. Geom., 15:35-61, 1996.
110. M. de Berg, M. van Kreveld, M. Overmars, and O. Schwarzkopf. Computational Geometry: Algorithms and Applications. Springer-Verlag, Berlin, 1997.
111. M. de Berg, M. van Kreveld, M. Overmars, and O. Schwarzkopf. Computational Geometry: Algorithms and Applications. Springer-Verlag, Berlin, Germany, 2nd edition, 2000.
112. M. de Carmo. Differential Geometry of Curves and Surfaces. Prentice Hall, Englewood Cliffs, NJ, 1976.
113. C. J. A. Delfinado and H. Edelsbrunner. An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere. Comput. Aided Geom. Des., 12(7):771-784, 1995.
114. R. Descartes. G ́eoḿetrie, volume 90-31 of A source book in Mathematics. Havard University press, 1636.
115. O. Devillers. The Delaunay hierarchy. Internat. J. Found. Comput. Sci., 13:163-180, 2002.
116. O. Devillers, A. Fronville, B. Mourrain, and M. Teillaud. Algebraic methods and arithmetic filtering for exact predicates on circle arcs. Comput. Geom. Theory Appl., 22:119-142, 2002.
117. O. Devillers and S. Pion. Efficient exact geometric predicates for Delaunay triangulations. In Proc. 5th Workshop Algorithm Eng. Exper., pages 37-44, 2003.
118. T. Dey, H. Woo, and W. Zhao. Approximate medial axis for CAD models. In Proc. 8th ACM symposium on Solid modeling and applications, pages 280-285, 2003.
119. T. K. Dey, H. Edelsbrunner, and S. Guha. Computational topology. In B. Chazelle, J. E. Goodman, and R. Pollack, editors, Advances in Discrete and Computational Geometry-Proc. 1996 AMS-IMS-SIAM Joint Summer Research Conf. Discrete and Computational Geometry: Ten Years Later, number 223 in Contemporary Mathematics, pages 109-143. American Mathematical Society, 1999.
120. T. K. Dey and J. Giesen. Detecting undersampling in surface reconstruction. In Proc. 16th Ann. Symposium on Computational Geometry, pages 257-263. ACM Press, 2001.
121. T. K. Dey, J. Giesen, and J. Hudson. Delaunay based shape reconstruction from large data. In IEEE Symposium in Parallel and Large Data Visualization and Graphics, pages 19-27, 2001.
122. T. K. Dey, J. Giesen, E. A. Ramos, and B. Sadri. Critical points of the distance to an epsilon-sampling on a surface and flow-complex-based surface reconstruction. In Proc. 21st Ann. Symposium on Computational Geometry, pages 218-227. ACM Press, 2005.
123. T. K. Dey and S. Goswami. Tight cocone: A water-tight surface reconstruc-tor. Journal of Computing and Information Science in Engineering, 3:302-307, 2003.
124. T. K. Dey and S. Goswami. Provable surface reconstruction from noisy samples. In Proc. 20th Ann. Symposium on Computational Geometry, pages 330-339. ACM Press, 2004.
125. T. K. Dey and P. Kumar. A simple provable algorithm for curve reconstruction. In SODA '99: Proceedings of the Tenth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 893-894, Philadelphia, PA, USA, 1999. Society for Industrial and Applied Mathematics.
126. T. K. Dey, G. Li, and T. Ray. Polygonal surface remeshing with Delaunay refinement. In Proc. 14th Internat. Meshing Roundtable, pages 343-361, 2005.
127. T. K. Dey, K. Mehlhorn, and E. A. Ramos. Curve reconstruction: Connecting dots with good reason. Comput. Geom. Theory Appl., 15:229-244, 2000.
128. L. Dupont, D. Lazard, S. Lazard, and S. Petitjean. Near-optimal parameterization of the intersection of quadrics. In Proc. 19th Ann. Sympos. Comput. Geom., pages 246-255, 2003.
129. R. A. Dwyer. Higher-dimensional Voronoi diagrams in linear expected time. Discrete Comput. Geom., 6:343-367, 1991.
130. H. Edelsbrunner. Algorithms in Combinatorial Geometry, volume 10 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Heidelberg, West Germany, 1987.
131. H. Edelsbrunner. Weighted alpha shapes. Technical Report UIUCDCS-R-92-1760, Dept. Comput. Sci., Univ. Illinois, Urbana, IL, 1992.
132. H. Edelsbrunner. Surface reconstruction by wrapping finite point sets in space. In B. Aronov, S. Basu, J. Pach, and M. Sharir, editors, Ricky Pollack and Eli Goodman Festschrift, pages 379-404. Springer-Verlag, 2003.
133. H. Edelsbrunner. Biological applications of computational topology. In J. Goodman and J. O'Rourke, editors, CRC Handbook of Discrete and Computational Geometry, chapter 63, pages 1395-1412. Chapman & Hall/CRC, 2004.
134. H. Edelsbrunner, J. Harer, V. Natarajan, and V. Pascucci. Morse-Smale complexes for piecewise linear 3-manifolds. In Proc. 19th Ann. Sympos. Comput. Geom., pages 361-370, 2003.
135. H. Edelsbrunner, J. Harer, and A. Zomorodian. Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds. Discrete Comput. Geom., 30(1): 87-107, 2003.
136. H. Edelsbrunner and E. P. Mücke. Simulation of simplicity: A technique to cope with degenerate cases in geometric algorithms. ACM Trans. Graph., 9(1):66-104, 1990.
137. H. Edelsbrunner and E. P. Mücke. Three-dimensional alpha shapes. ACM Trans. Graph., 13(1):43-72, Jan. 1994.
138. H. Edelsbrunner and N. R. Shah. Triangulating topological spaces. Int. J. on Comp. Geom., 7:365-378, 1997.
139. A. Eigenwillig. Exact arrangement computation for cubic curves. M.Sc. thesis, Universiẗat des Saarlandes, Saarbrücken, Germany, 2003.
140. A. Eigenwillig, L. Kettner, E. Scḧomer, and N. Wolpert. Complete, exact, and efficient computations with cubic curves. In Proc. 20th Annual Symposium on Computational Geometry, pages 409-418, 2004. accepted for Computational Geometry: Theory and Applications.
141. D. Eisenbud. Commutative Algebra with a view toward Algebraic Geometry, volume 150 of Graduate Texts in Math. Berlin, Springer-Verlag, 1994.
142. M. Elkadi and B. Mourrain. Introduction ̀a la ŕesolution des syst̀emes d'́equations alǵebriques, 2003. Notes de cours, Univ. de Nice (310 p.).
143. M. Elkadi and B. Mourrain. Symbolic-numeric tools for solving polynomial equations and applications. In A. Dickenstein and I. Emiris, editors, Solving Polynomial Equations: Foundations, Algorithms, and Applications., volume 14 of Algorithms and Computation in Mathematics, pages 125-168. Springer, 2005.
144. I. Emiris and E. P. Tsigaridas. Computing with real algebraic numbers of small degree. In Proc. 12th European Symposium on Algorithms, LNCS 3221, pages 652-663. Springer-Verlag, 2004.
145. I. Z. Emiris, A. Kakargias, S. Pion, M. Teillaud, and E. P. Tsigaridas. Towards an open curved kernel. In Proc. 20th Ann. Sympos. Comput. Geom., pages 438-446, 2004.
146. I. Z. Emiris and M. I. Karavelas. The predicates of the apollonius diagram: algorithmic analysis and implementation. Computational Geometry: Theory and Applications, 33:18-57, 2006.
147. I. Z. Emiris, B. Mourrain, and E. P. Tsigaridas. Real algebraic numbers: Complexity analysis and experimentations. Research Report 5897, INRIA, Avril 2006.
148. I. Z. Emiris and E. P. Tsigaridas. Comparison of fourth-degree algebraic numbers and applications to geometric predicates. Technical Report ECG-TR-302206-03, INRIA Sophia-Antipolis, 2003.
149. I. Z. Emiris and E. P. Tsigaridas. Methods to compare real roots of polynomials of small degree. Technical Report ECG-TR-242200-01, INRIA Sophia-Antipolis, 2003.
150. J. Erickson. Nice point sets can have nasty Delaunay triangulations. Discrete Comput. Geom., 30(1):109-132, 2003.
151. J. Erickson. Dense point sets have sparse delaunay triangulations. Discrete Comput. Geom., 33:85-115, 2005.
152. E. Eyal and D. Halperin. Improved implementation of controlled perturbation for arrangements of spheres. Technical Report ECG-TR-363208-01, Tel-Aviv University, 2004.
153. E. Eyal and D. Halperin. Dynamic maintenance of molecular surfaces under conformational changes. In Proc. 21st Ann. Symposium on Computational Geometry, pages 45-54, 2005.
154. E. Eyal and D. Halperin. Improved maintenance of molecular surfaces using dynamic graph connectivity. In Proc. 5th Workshop on Algorithms in Bioinfor-matics-WABI 2005, volume 3692 of LNCS, pages 401-413. Springer-Verlag, 2005.
155. A. Fabri, G.-J. Giezeman, L. Kettner, S. Schirra, and S. Scḧonherr. The CGAL kernel: A basis for geometric computation. In M. C. Lin and D. Manocha, editors, Proc. 1st ACM Workshop on Appl. Comput. Geom., volume 1148 of Lecture Notes Comput. Sci., pages 191-202. Springer-Verlag, 1996.
156. A. Fabri, G.-J. Giezeman, L. Kettner, S. Schirra, and S. Scḧonherr. On the design of CGAL a computational geometry algorithms library. Softw.-Pract. Exp., 30(11):1167-1202, 2000.
157. G. Farin. Curves and surfaces for computer aided geometric design: a practical guide. Comp. science and sci. computing. Acad. Press, 1990.
158. G. Farin. An SSI bibliography. In Geometry Processing for Design and Manufacturing, pages 205-207. SIAM, Philadelphia, 1992.
159. R. Farouki and R. Ramamurthy. Voronoi diagram and medial axis algorithm for planar domains with curved boundaries i. theoretical foundations. Journal of Computational and Applied Mathematics, 102(1):119-141, 1999.
160. O. Faugeras. Three-Dimensional Computer Vision: A Geometric Viewpoint. MIT Press, Cambridge, MA, 1993.
161. H. Federer. Curvature measures. Trans. Amer. Math. Soc., 93:418-491, 1959
162. H. Federer. Geometric Measure Theory. Springer-Verlag, 1970.
163. E. Flato, D. Halperin, I. Hanniel, and O. Nechushtan. The design and implementation of planar maps in CGAL. In Abstracts 15th European Workshop Comput. Geom., pages 169-172. INRIA Sophia-Antipolis, 1999.
164. E. Flato, D. Halperin, I. Hanniel, O. Nechushtan, and E. Ezra. The design and implementation of planar maps in CGAL. The ACM Journal of Experimental Algorithmics, 5:1-23, 2000.
165. E. Fogel, D. Halperin, R. Wein, S. Pion, M. Teillaud, I. Emiris, A. Kakar-gias, E. Tsigaridas, E. Berberich, A. Eigenwillig, M. Hemmer, L. Kettner, K. Mehlhorn, E. Schomer, and N. Wolpert. An empirical comparison of software for constructing arrangements of curved arcs (preliminary version). Technical Report ECG-TR-361200-01, Tel-Aviv University, INRIA Sophia-Antipolis, MPI Saarbrücken, 2004.
166. E. Fogel, D. Halperin, R. Wein, M. Teillaud, E. Berberich, A. Eigenwillig, S. Hert, and L. Kettner. Specification of the traits classes for CGAL arrangements of curves. Technical Report ECG-TR-241200-01, INRIA Sophia-Antipolis, 2003.
167. E. Fogel, R. Wein, and D. Halperin. Code flexibility and program efficiency by genericity: Improving CGAL's arrangements. In Proc. 12th Annual European Symposium on Algorithms, pages 664-676. Springer-Verlag, 2004.
168. S. Fortune and C. J. Van Wyk. Static analysis yields efficient exact integer arithmetic for computational geometry. ACM Trans. Graph., 15(3):223-248, July 1996.
169. S. Fortune and C. V. Wyk. LN User Manual. AT&T Bell Laboratories, 1993.
170. J. Fu. Convergence of curvatures in secant approximations. Journal of Differential Geometry, 37:177-190, 1993
171. J. Fu. Curvature of singular spaces via the normal cycle. Amer. Math. Soc., 116:819-880, 1994.
172. S. Funke, C. Klein, K. Mehlhorn, and S. Schmitt. Controlled perturbations for Delaunay triangulations. In Proc. 16th ACM-SIAM Sympos. Discrete Algorithms (SODA), pages 1047-1056, 2005.
173. S. Funke, K. Mehlhorn, and S. Schmitt. The LEDA class real number-extended version. Technical Report ECG-TR-363110-01, MPI Saarbrücken, 2004.
174. S. Funke and E. A. Ramos. Smooth-surface reconstruction in near-linear time. In ACM SODA'02, pages 781-790, 2002.
175. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, Reading, MA, 1995.
176. T. Garrity and J. Warren. Geometric continuity. Computer Aided Geometric Design, 8:51-65, 1991.
177. G. Gatellier, A. Labrouzy, B. Mourrain, and J.-P. T́ecourt. Computing the topology of three-dimensional algebraic curves. In T. Dokken and B. Jüttler, editors, Computational Methods for Algebraic Spline Surfaces (COMPASS), pages 27-44. Springer-Verlag, 2005.
178. N. Geismann, M. Hemmer, and E. Scḧomer. Computing a 3-dimensional cell in an arrangement of quadrics: Exactly and actually! In Proc. 17th Ann. Sympos. Comput. Geom., pages 264-273, 2001.
179. B. Gerkey. Pursuit-evasion with teams of robots. http://robotics. stanford.edu/~gerkey/research/pe/index.html.
180. B. Gerkey, S. Thrun, and G. J. Gordon. Visibility-based pursuit-evasion with limited field of view. In Proc. National Conference on Artificial Intelligence (AAAI), pages 20-27, 2004.
181. P. Giblin and B. Kimia. A formal classification of 3d medial axis points and their local geometry. IEEE Transations on Pattern Analysis and Machine Intelligence, 26(2):238-251, 2004.
182. C. Gibson. Elementary Geometry of Algebraic Curves. Cambridge University Press, 1998.
183. J. Giesen and M. John. Surface reconstruction based on a dynamical system. In Proceedings of the 23rd Annual Conference of the European Association for Computer Graphics (Eurographics), Computer Graphics Forum 21, pages 363-371, 2002.
184. J. Giesen and M. John. The flow complex: A data structure for geometric modeling. In ACM SODA, pages 285-294, 2003.
185. L. Gonźalez-Vega and I. Necula. Efficient topology determination of implicitly defined algebraic plane curves. Comput. Aided Geom. Design, 19(9):719-743, 2002.
186. L. Gonźalez-Vega, F. Rouillier, and M.-F. Roy. Symbolic recipes for polynomial system solving. In A. M. Cohen, H. Cuypers, and H. Sterk, editors, Some Tapas of Computer Algebra, volume 4 of Algorithms and Computation in Mathematics, chapter 2, pages 34-65. Springer, 1999.
187. M. T. Goodrich and R. Tamassia. Dynamic trees and dynamic point location. SIAM J. Comput., 28:612-636, 1998.
188. M. Gopi, S. Krishnan, and C. Silva. Surface reconstruction based on lower dimensional localized Delaunay triangulation. In Eurographics, 2000.
189. M. Granados, P. Hachenberger, S. Hert, L. Kettner, K. Mehlhorn, and M. Seel. Boolean operations on 3d selective nef complexes: Data structure, algorithms, and implementation. In Proc. 11th European Symposium on Algorithms, pages 174-186, 2003.
190. T. A. Grandine. Applications of contouring. SIAM Review, 42:297-316, 2000.
191. T. A. Grandine and F. W. Klein. A new approach to the surface intersection problem. Computer Aided Geometric Design, 14:111-134, 1997.
192. G.-M. Greuel and G. Pfister. A Singular introduction to commutative algebra. Springer-Verlag, Berlin, 2002. With contributions by Olaf Bachmann, Christoph Lossen and Hans Scḧonemann.
193. A. Griewank. Evaluating derivatives: principles and techniques of algorithmic differentiation. Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, 2000.
194. V. Guillemin and A. Pollack. Differential Topology. Prentice Hall, Englewood Cliffs, NJ, 1974.
195. P. Hachenberger and L. Kettner. Boolean operations on 3D selective Nef complexes: Optimized implementation and experiments. In Proc. of 2005 ACM Symposium on Solid and Physical Modeling (SPM'05), pages 163-174, Cambridge, MA, June 2005.
196. D. Halperin. Arrangements. In J. E. Goodman and J. O'Rourke, editors, Handbook of Discrete and Computational Geometry, chapter 24, pages 529-562. Chapman & Hall/CRC, 2nd edition, 2004.
197. D. Halperin, L. E. Kavraki, and J.-C. Latombe. Robotics. In J. E. Goodman and J. O'Rourke, editors, Handbook of Discrete and Computational Geometry, chapter 41, pages 755-778. CRC Press LLC, Boca Raton, FL, 1997.
198. D. Halperin and E. Leiserowitz. Controlled perturbation for arrangements of circles. International Journal of Computational Geometry and Applications, 14(4 & 5):277-310, 2004.
199. D. Halperin and M. H. Overmars. Spheres, molecules, and hidden surface removal. Computational Geometry: Theory and Applications, 11(2):83-102, 1998.
200. D. Halperin and C. R. Shelton. A perturbation scheme for spherical arrangements with application to molecular modeling. Comput. Geom. Theory Appl., 10:273-287, 1998.
201. I. Haran and D. Halperin. An experimental study of point location in general planar arrangements. In Proc. ALENEX 2006, 2006. To appear.
202. J. Harris. Algebraic Geometry, a First Course, volume 133 of Graduate Texts in Math. New-York, Springer-Verlag, 1992
203. A. Hatcher. Algebraic Topology. Cambridge University Press, 2002.
204. S. Hert, M. Hoffmann, L. Kettner, S. Pion, and M. Seel. An adaptable and extensible geometry kernel. In Proc. Workshop on Algorithm Engineering, volume 2141 of Lecture Notes Comput. Sci., pages 79-90. Springer-Verlag, 2001.
205. D. Hilbert. Foundations of Geometry (Grundlagen der Geometrie). Open Court, 1971.
206. D. Hilbert and S. Cohn-Vossen. Geometry and the Imagination. Reprint from the American Mathematical Society, 1999.
207. K. Hildebrandt, K. Polthier, and M. Wardetzky. On the convergence of metric and geometric properties of polyhedral surfaces. To appear in Geom. Dedicata.
208. M. W. Hirsch. Differential Topology. Springer-Verlag, New York, NY, 1976.
209. S. Hirsch and D. Halperin. Hybrid motion planning: Coordinating two discs moving among polygonal obstacles in the plane. In Proc. 5th Workshop on Algorithmic Foundations of Robotics, pages 225-241, 2002.
210. H. Hiyoshi and K. Sugihara. Improving continuity of Voronoi-based interpolation over Delaunay spheres. Comput. Geom., 22(1-3), 2002.
211. S. Ho, S. Sarma, and Y. Adachi. Real-time interference analysis between a tool and an environment. Computer-Aided Design, 33(13):935-947, 2001.
212. IEEE Standard for binary floating point arithmetic, ANSI/IEEE Std 754-1985. New York, NY, 1985.
213. Reprinted in SIGPLAN Notices, 22(2):9-25, 1987.
214. O. Ilushin, G. Elber, D. Halperin, R. Wein, and M.-S. Kim. Precise global collision detection in multi-axis machining. Computer-Aided Design, 37(9): 909-920, Aug 2005
215. J. Jost. Riemannian Geometry and Geometric Analysis. Universitext. Springer-Verlag, 2002.
216. M. Karavelas. A robust and efficient implementation for the segment voronoi diagram. In Proc. International Symposium on Voronoi Diagrams in Science and Engineering, pages 51-62, 2004.
217. M. Karavelas and M. Yvinec. Dynamic additively weighted voronoi diagrams in 2d. In Proc. 10th European Symposium on Algorithms, pages 586-598, 2002.
218. M. Karavelas and M. Yvinec. The Voronoi diagram of convex objects in the plane. In Proc. 11th European Symposium on Algorithms, pages 337-348, 2003.
219. M. I. Karavelas and I. Z. Emiris. Predicates for the planar additively weighted Voronoi diagram. Technical Report ECG-TR-122201-01, INRIA Sophia-Antipolis, 2002.
220. M. I. Karavelas and I. Z. Emiris. Root comparison techniques applied to computing the additively weighted Voronoi diagram. In Proc. 14th ACM-SIAM Sympos. Discrete Algorithms (SODA), pages 320-329, 2003.
221. L. E. Kavraki, P. Svestka, J.-C. Latombe, and M. H. Overmars. Probabilistic roadmaps for path planning in high dimensional configuration spaces. IEEE Trans. Robot. Autom., 12:566-580, 1996.
222. L. Kettner, K. Mehlhorn, S. Pion, S. Schirra, and C. Yap. Classroom examples of robustness problems in geometric computations. In Proc. 12th European Symposium on Algorithms, volume 3221 of Lecture Notes Comput. Sci., pages 702-713. Springer-Verlag, 2004.
223. L. Kettner and S. N̈aher. Two computational geometry libraries: LEDA and CGAL. In J. E. Goodman and J. O'Rourke, editors, Handbook of Discrete and Computational Geometry, chapter 65, pages 1435-1463. CRC Press LLC, Boca Raton, FL, second edition, 2004.
224. L. Kettner, J. Rossignac, and J. Snoeyink. The Safari interface for visualizing time-dependent volume data using iso-surfaces and contour spectra. Computational Geometry: Theory and Applications, 25:97-116, 2003.
225. L. Kettner and J. Snoeyink. A prototype system for visualizing time-dependent volume data. In Proc. 17th Ann. Symp. Computational Geometry, pages 327-328. ACM Press, 2001.
226. J. Keyser, T. Culver, M. Foskey, S. Krishnan, and D. Manocha. ESOLID: A system for exact boundary evaluation. Computer-Aided Design, 36(2):175-193, 2004.
227. J. Keyser, T. Culver, D. Manocha, and S. Krishnan. Efficient and exact manipulation of algebraic points and curves. Computer-Aided Design, 32(11): 649-662, 2000.
228. D.-S. Kim, C.-H. Cho, Y. Cho, C. I. Won, and D. Kim. Pocket recognition on a protein using Euclidean Voronoi diagrams of atoms. In Proc. 3rd International Conference on Computational Science and its Applications, volume 1, pages 707-715, 2005.
229. D.-S. Kim, D. Kim, Y. Cho, J. Ryu, C.-H. Cho, J. Y. Park, and H.-C. Lee. Visualization and analysis of protein structures using Euclidean Voronoi diagrams of atoms. In Proc. 3rd International Conference on Computational Science and its Applications, volume 1, pages 993-1002, 2005.
230. D. A. Klain and G.-C. Rota. Introduction to Geometric Probability. Cambridge University Press, 1997.
231. R. Klein. Concrete and Abstract Voronoi Diagrams, volume 400 of Lecture Notes Comput. Sci. Springer-Verlag, 1989.
232. R. Klein, K. Mehlhorn, and S. Meiser. Randomized incremental construction of abstract Voronoi diagrams. Comput. Geom. Theory Appl., 3(3):157-184, 1993.
233. W. Krandick and K. Mehlhorn. New bounds for the descartes method. J. of Symb. Comp., 41(1), Jan 2006.
234. S. Krishnan and D. Manocha. An efficient intersection algorithm based on lower dimensional formulation. ACM Transactions on Computer Graphics, 16:74-106, 1997.
235. F. Labelle and J. Shewchuk. Anisotropic voronoi diagrams and guaranteed-quality anisotropic mesh generation. In Proc. 19th Ann. Symposium on Computational Geometry, pages 191-200. ACM Press, 2003.
236. J. M. Lane and R. F. Riesenfeld. Bounds on a polynomial. BIT, 21(1):112-117, 1981.
237. S. Lang. Algebra. Addison-Wesley, 1980.
238. J.-C. Latombe. Robot Motion Planning. Kluwer Academic Publishers, Boston, 1991.
239. S. Lazard, L. M. Penaranda, and S. Petitjean. Intersecting quadrics: An efficient and exact implementation. In Proc. 20th Ann. Sympos. Comput. Geom., pages 419-428, 2004.
240. G. Leibon and D. Letscher. Delaunay triangulations and Voronoi diagrams for Riemannian manifolds. In Proc. 16th Ann. Sympos. Comput. Geom., pages 341-349, 2000.
241. E. Leiserowitz and S. Hirsch. Exact construction of Minkowski sums of polygons and a disc with application to motion planning. Technical Report ECG-TR-181205-01, Tel-Aviv University, 2002.
242. J. Levin. Algorithm for drawing pictures of solid objects composed of quadratic surfaces. Commun. ACM, 19(10):555-563, Oct. 1976.
243. C. Li and C. Yap. A new constructive root bound for algebraic expressions. In Proc. 12th ACM-SIAM Symposium on Discrete Algorithms, pages 496-505, 2001.
244. n has the same homotopy type than its medial axis. Computer-Aided Design, 11(36):1029-1046, 2004.
245. W. E. Lorensen and H. E. Cline. Marching cubes: A high resolution 3d surface construction algorithm. SIGGRAPH Comput. Graph., 21(4):163-169, 1987.
246. V. Luchnikov, M. Gavrilova, and N. Medvedev. A new development of the Voronoi-Delaunay technique for analysis of pores in packings of non-spherical objects and in packings confined in containers. In Proc. of the 21st Int. Conference on Applied Physics, volume 1, pages 273-275, 2001.
247. V. Luchnikov, N. Medvedev, and M. Gavrilova. The Voronoi-Delaunay approach for modeling the packing of balls in a cylindrical container. In Proc. Int. Conf. Computational Science, volume 1 of Lecture Notes in Computer Science, pages 748-752. Springer, 2001.
248. F. S. Macaulay. On the resolution of a given modular system into primary systems including some properties of Hilbert numbers. Math. Ann., 74(1): 66-121, 1913.
249. A. Mantler and J. Snoeyink. Intersecting red and blue line segments in optimal time and precision. In J. Akiyama, M. Kano, and M. Urabe, editors, Discrete and Computational Geometry, Japanese Conference, JCDCG 2000, Tokyo, Japan, November, 22-25, 2000, Revised Papers, volume 2098 of Lecture Notes in Computer Science, pages 244-251. Springer, 2001.
250. J. Matousek. Lectures on Discrete Geometry, volume 212 of Graduate Texts in Mathematics. Springer-Verlag, 2002.
251. Y. Matsumoto. An Introduction to Morse Theory, volume 208 of Translations of Mathematical Monographs. American Mathematical Society, 2002.
252. K. Mehlhorn and S. N̈aher. LEDA: A Platform for Combinatorial and Geometric Computing. Cambridge University Press, Cambridge, UK, 2000.
253. G. Melquiond and S. Pion. Formally certified floating-point filters for homogenous geometric predicates. Special issue on REAL NUMBERS of Theoretical Informatics and Applications, 2006. to appear.
254. P. G. Mezey. Molecular surfaces. In K. B. Lipkowitz and D. B. Boyd, editors, Reviews in Computational Chemistry, volume 1. VCH Publishers, 1990.
255. M. Mignotte. Mathematics for Computer Algebra. Springer-Verlag, 1992.
256. J. W. Milnor. Morse Theory. Princeton University Press, Princeton, NJ, 1963.
257. J. S. B. Mitchell. Shortest paths and networks. In J. E. Goodman and J. O'Rourke, editors, Handbook of Discrete and Computational Geometry, chapter 24, pages 445-466. CRC Press LLC, Boca Raton, FL, 1997.
258. R. E. Moore. Interval Analysis. Prentice Hall, Englewood Cliffs, NJ, 1966.
259. n. In Proc. 7th Ann. Sympos. Comput. Geom., pages 204-213, 1991.
260. J.-M. Morvan and B. Thibert. Smooth surface and triangular mesh: Comparison of the area, the normals and the unfolding. In ACM Symposium on Solid Modeling and Applications, pages 147-158, 2002.
261. J.-M. Morvan and B. Thibert. Approximation of the normal vector field and the area of a smooth surface. Discrete & Computational Geometry, 32(3): 383-400, 2004.
262. B. Mourrain. Computing isolated polynomial roots by matrix methods. J. of Symbolic Computation, Special Issue on Symbolic-Numeric Algebra for Polynomials, 26(6):715-738, Dec. 1998.
263. B. Mourrain, F. Rouillier, and M.-F. Roy. Bernstein's basis and real root isolation. In J. E. Goodman, J. Pach, and E. Welzl, editors, Combinatorial and Computational Geometry, Mathematical Sciences Research Institute Publications, pages 459-478. Cambridge University Press, 2005.
264. B. Mourrain and J.-P. T́ecourt. Isotopic meshing of a real algebraic surface. Technical Report RR-5508, INRIA-Sophia Antipolis, France, Feb. 2005. 21 pp.
265. B. Mourrain, J.-P. T́ecourt, and M. Teillaud. Sweeping an arrangement of quadrics in 3d. In Proc. 19th European Workshop on Computational Geometry, pages 31-34, 2003.
266. B. Mourrain, J.-P. T́ecourt, and M. Teillaud. On the computation of an arrangement of quadrics in 3d. Computational Geometry: Theory and Applications, 30:145-164, 2005.
267. B. Mourrain and P. Tŕebuchet. Algebraic methods for numerical solving. In Proc. of the 3rd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing'01 (Timisoara, Romania), pages 42-57, 2002.
268. B. Mourrain and P. Tŕebuchet. Generalised normal forms and polynomial system solving. In M. Kauers, editor, Proc. Intern. Symp. on Symbolic and Algebraic Computation, pages 253-260. New-York, ACM Press., 2005.
269. B. Mourrain, M. Vrahatis, and J. Yakoubsohn. On the complexity of isolating real roots and computing with certainty the topological degree. J. of Complexity, 18(2):612-640, 2002.
270. K. Mulmuley. A fast planar partition algorithm, I. J. Symbolic Comput., 10(3-4):253-280, 1990.
271. K. Mulmuley. A fast planar partition algorithm, II. J. ACM, 38:74-103, 1991.
272. D. A. Musser and A. A. Stepanov. Generic programming. In Proc. Intern. Symp. on Symbolic and Algebraic Computation, LNCS 358, pages 13-25. Springer-Verlag, 1988.
273. N. Myers. Traits: A new and useful template technique. C++ Report, 7(5): 32-35, 1995.
274. A. Nanevski, G. Blelloch, and R. Harper. Automatic generation of staged geometric predicates. Higher-Order and Symbolic Computation, 16(4):379-400, Dec. 2003.
275. W. Nef. Beitr̈age zur Theorie der Polyeder. Herbert Lang, Bern, 1978.
276. C. O'Dúnlaing and C. K. Yap. A "retraction" method for planning the motion of a disk. J. Algorithms, 6:104-111, 1985.
277. A. Okabe, B. Boots, and K. Sugihara. Spatial Tessellations: Concepts and Applications of Voronoi Diagrams. John Wiley & Sons, Chichester, UK, 1992.
278. G. J. Olling, B. K. Choi, and R. B. Jerard. Machining Impossible Shapes. Kluwer Academic Publishers, 1998.
279. J. Owen and A. Rockwood. Intersection of general implicit surfaces. In Geometric Modeling: Algorithms and New Trends, pages 335-345. SIAM, Philadelphia, 1987.
280. E. Packer. Finite-precision approximation techniques for planar arrangements of line segments. M.Sc. thesis, Tel Aviv University, Tel Aviv, Israel, 2002.
281. M. P. Patrikalakis and T. Maekawa. Shape Interrogation for Computer Aided Design and Manufacturing. Springer Verlag, 2002.
282. S. Petitjean and E. Boyer. Regular and non-regular point sets: Properties and reconstruction. Comput. Geom. Theory Appl., 19:101-126, 2001.
283. S. Pion. De la ǵeoḿetrie algorithmique au calcul ǵeoḿetrique. Th̀ese de doc-torat en sciences, Universit́e de Nice-Sophia Antipolis, France, 1999. TU-0619 http://www.inria.fr/rrrt/tu-0619.html.
284. S. Pion. Interval arithmetic: An efficient implementation and an application to computational geometry. In Workshop on Applications of Interval Analysis to systems and Control, pages 99-110, 1999.
285. S. Pion and M. Teillaud. Towards a CGAL-like kernel for curves. Technical Report ECG-TR-302206-01, MPI Saarbrücken, INRIA Sophia-Antipolis, 2003.
286. S. Pion and C. K. Yap. Constructive root bound for k-ary rational input numbers. In Proc. 19th Ann. Sympos. Comput. Geom., pages 256-263, 2003.
287. S. Plantinga and G. Vegter. Isotopic approximation of implicit curves and surfaces. In SGP '04: Proceedings of the 2004 Eurographics/ACM SIGGRAPH symposium on Geometry processing, pages 245-254, New York, NY, USA, 2004. ACM Press.
288. H. Pottmann and J. Wallner. Computational Line Geometry. Springer-Verlag, Berlin, Heidelberg, 2001.
289. F. P. Preparata and M. I. Shamos. Computational Geometry: An Introduction. Springer-Verlag, New York, NY, 1985.
290. M. A. Price and C. G. Armstrong. Hexahedral mesh generation by medial surface subdivision: Part II, solids with flat and concave edges. International Journal for Numerical Methods in Engineering, 40:111-136, 1997.
291. M. A. Price, C. G. Armstrong, and M. A. Sabin. Hexahedral mesh generation by medial surface subdivision: Part I, solids with convex edges. International Journal for Numerical Methods in Engineering, 38(19):3335-3359, 1995.
292. W. Pugh. Skip lists: a probabilistic alternative to balanced trees. Commun. ACM, 33(6):668-676, 1990.
293. S. Raab. Controlled perturbation for arrangements of polyhedral surfaces with application to swept volumes. In Proc. 15th Ann. Symposium on Computational Geometry, pages 163-172, 1999.
294. G. Reeb. Sur les points singuliers d'une forme de Pfaff compl̀etement int́egrable ou d'une fonction nuḿerique. Comptes Rendus Acad. Sciences Paris, 222: 847-849, 1946.
295. F. M. Richards. Areas, volumes, packing, and protein structure. Annu. Rev. Biophys. Bioeng., 6:151-176, 1977.
296. J. Risler. Ḿethodes math́ematiques pour la CAO. Masson, 1991.
297. V. Rogol. Maximizing the area of an axially-symmetric polygon inscribed by a simple polygon. Master's thesis, The Technion, Haifa, Israel, 2003. ftp://ftp.cs.technion.ac.il/pub/barequet/theses/rogol-msc-thesis. pdf.gz.
298. J. Rossignac and M. O'Connor. Sgc: A dimension-independent model for pointsets with internal structures and incomplete boundaries. In M. Wozny, J. Turner, and K. Preiss, editors, Geometric Modeling for Product Engineering. North-Holland, 1989.
299. F. Rouillier. Solving zero-dimensional polynomial systems throuhg Rational Univariate Representation. App. Alg. in Eng. Com. Comp., 9(5):433-461, 1999.
300. F. Rouillier and P. Zimmermann. Efficient isolation of a polynomial real roots. Journal of Computational and Applied Mathematics, 162(1):33-50, 2003.
301. M. Roy. Basic algorithms in real algebraic geometry: from Sturm theorem to the existential theory of reals. In Lectures on Real Geometry in memoriam of Mario Raimondo, volume 23 of Exposition in Mathematics, pages 1-67, 1996.
302. J. Ruppert. A Delaunay refinement algorithm for quality 2-dimensional mesh generation. J. Algorithms, 18:548-585, 1995.
303. T. Sakkalis and T. J. Peters. Ambient isotopic approximations for surface reconstruction and interval solids. In SM '03: Proceedings of the eighth ACM symposium on Solid modeling and applications, pages 176-184, New York, NY, USA, 2003. ACM Press.
304. M. F. Sanner, A. J. Olson, and J.-C. Spehner. Fast and robust computation of molecular surfaces. In Proc. 11th Ann. Sympos. Comput. Geom., pages C6-C7, 1995.
305. E. Scheinerman. When close enough is close enough. American Mathematical Monthly, 107:489-499, 2000.
306. S. Schirra. Robustness and precision issues in geometric computation. In J.-R. Sack and J. Urrutia, editors, Handbook of Computational Geometry, chapter 14, pages 597-632. Elsevier Science Publishers B.V. North-Holland, Amsterdam, 2000.
307. S. Schmitt. Improved separation bounds for the diamond operator. Technical Report ECG-TR-363108-01, MPI Saarbrücken, 2004.
308. S. Schmitt. The diamond operator-implementation of exact real algebraic numbers. In Proc. 8th Internat. Workshop on Computer Algebra in Sci-ent. Comput. (CASC 2005), volume 3718 of Lecture Notes in Computer Science, pages 355-366. Springer, 2005. http://www.mpi-sb.mpg.de/projects/EXACUS/leda extension/.
309. M. Seel. Implementation of planar Nef polyhedra. Research Report MPI-I-2001-1-003, Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, 66123 Saarbrücken, Germany, August 2001.
310. M. Seel. Planar Nef Polyhedra and Generic High-dimensional Geometry. PhD thesis, Universiẗat des Saarlandes, September 2001.
311. R. Seidel and N. Wolpert. On the exact computation of the topology of real algebraic curves. In Proc. 21th Annual Symposium on Computational Geometry, pages 107-115, 2005.
312. M. Sharir. Almost tight upper bounds for lower envelopes in higher dimensions. Discrete Comput. Geom., 12:327-345, 1994.
313. M. Sharir and P. K. Agarwal. Davenport-Schinzel Sequences and Their Geometric Applications. Cambridge University Press, New York, 1995.
314. V. Sharma and C. Yap. Sharp amortized bounds for descartes and de casteljau's methods for real root isolation. www.cs.nyu.edu/yap/papers, Oct. 2005.
315. H. Shaul. Improved output-sensitive construction of vertical decompositions of triangles in three-dimensional space. M.Sc. thesis, School of Computer Science, Tel Aviv University, Tel Aviv, Israel, 2001.
316. H. Shaul and D. Halperin. Improved construction of vertical decompositions of three-dimensional arrangements. In Proc. 18th Ann. Sympos. Comput. Geom., pages 283-292, 2002.
317. A. Sheffer and M. Bercovier. Hexahedral meshing of non-linear volumes using Voronoi faces and edges. Numerical Methods in Engineering, 49(1):329-351, 2000.
318. J. R. Shewchuk. Delaunay refinement algorithms for triangular mesh generation. Computational Geometry: Theory and Applications, 22:21-74, 2002.
319. R. Sibson. A brief description of natural neighbour interpolation. In V. Barnet, editor, Interpreting Multivariate Data, pages 21-36. John Wiley & Sons, Chich-ester, 1981.
320. R. B. Simpson. Anisotropic mesh transformations and optimal error control. In Proceedings of the third ARO workshop on Adaptive methods for partial differential equations, pages 183-198, New York, NY, USA, 1994. Elsevier North-Holland, Inc.
321. S. Smale. On gradient dynamical systems. Ann. of Math., 74:199-206, 1961.
322. J. M. Snyder. Generative modeling for computer graphics and CAD: symbolic shape design using interval analysis. Academic Press, 1992.
323. J. M. Snyder. Interval analysis for computer graphics. SIGGRAPH Comput. Graph., 26(2):121-130, 1992.
324. M. Spivak. Analysis on Manifolds. Perseus Book Publishing, 1965.
325. B. T. Stander and J. C. Hart. Guaranteeing the topology of an implicit surface polygonization for interactive modeling. Computer Graphics, 31(Annual Conference Series):279-286, 1997
326. J. Stillwell. Classical Topology and Combinatorial Group Theory. Springer-Verlag, New York, 1993.
327. B. Tagansky. A new technique for analyzing substructures in arrangements of piecewise linear surfaces. Discrete Comput. Geom., 16:455-479, 1996.
328. J.-P. T́ecourt. Sur le calcul effectif de la topologie de courbes et surfaces im-plicites. Th̀ese de doctorat en sciences, Universit́e de Nice-Sophia Antipolis, France, Dec. 2005.
329. P. Tŕebuchet. Versune ŕesolution stable et rapide des ́equations alǵebriques. PhD thesis, Universit́e Pierre et Marie Curie, 2002.
330. G. Vegter. Computational topology. In J. Goodman and J. O'Rourke, editors, CRC Handbook of Discrete and Computational Geometry, chapter 32, pages 719-742. Chapman & Hall/CRC, 2004.
331. J. von zur Gathen and J. Gerhard. Modern computer algebra. Cambridge University Press, New York, 1999.
332. R. Wein. High-level filtering for arrangements of conic arcs. In Proc. 10th European Symposium on Algorithms, volume 2461 of Lecture Notes Comput. Sci., pages 884-895, 2002.
333. R. Wein. High-level filtering for arrangements of conic arcs. M.Sc. thesis, School of Computer Science, Tel Aviv University, Tel Aviv, Israel, 2002.
334. R. Wein, E. Fogel, B. Zukerman, and D. Halperin. Advanced programming techniques applied to Cgal's arrangements. In Proc. Workshop on Library-Centric Software Design (LCSD 2005), at the Object-Oriented Programming, Systems, Languages and Applications (OOPSLA) Conference., October 2005.
335. R. Wein and D. Halperin. Generic implementation of the construction of lower envelopes of planar curves. Technical Report ECG-TR-361100-01, Tel-Aviv University, 2004.
336. R. Wein, O. Ilushin, G. Elber, and D. Halperin. Continuous path verification in multi-axis nc-machining. In Proc. 20th Annual Symposium on Computational Geometry, pages 86-95, 2004.
337. R. Wein, J. P. van den Berg, and D. Halperin. The visibility-Voronoi complex and its applications. In Proc. 21th Annual Symposium on Computational Geometry, pages 63-72, 2005.
338. R. Wein and B. Zukerman. Exact and efficient construction of planar arrangements of circular arcs and line segments with applications. Technical report, Tel-Aviv University, 2006.
339. H. Whitney. Complex analytic varieties. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1972.
340. H.-M. Will. Fast and efficient computation of additively weighted Voronoi cells for applications in molecular biology. In Proc. 6th Scand. Workshop Algorithm Theory, volume 1432 of Lecture Notes Comput. Sci., pages 310-321. Springer-Verlag, 1998.
341. N. Wolpert. An Exact and Efficient Approach for Computing a Cell in an Arrangement of Quadrics. Ph.D. thesis, Universiẗat des Saarlandes, Saarbrücken, Germany, 2002.
342. N. Wolpert. Jacobi curves: Computing the exact topology of non-singular algebraic curves. In G. D. Battista and U. Zwick, editors, Proc. 11th European Symposium on Algorithms, Lecture Notes Comput. Sci., pages 532-543, 2003.
343. G. Wyvill, C. McPheeters, and B. Wyvill. Data structure for soft objects. The Visual Computer, 2(4):227-234, February 1986.
344. C. Yap. Towards exact geometric computation. Comput. Geom. Theory Appl., 7(1):3-23, 1997.
345. C. K. Yap. Symbolic treatment of geometric degeneracies. J. Symbolic Com-put., 10:349-370, 1990.
346. C. K. Yap. Fundamental Problems in Algorithmic Algebra. Princeton University Press, 1993.
347. C. K. Yap. Robust geomtric computation. In J. E. Goodman and J. O'Rourke, editors, Handbook of Discrete and Computational Geometry, chapter 41, pages 927-952. Chapman & Hall/CRC, 2nd edition, 2004.
348. Y. Yomdin. On the general structure of a generic central set. Compositio Math., 43:225-238, 1981.
349. L. Yuan-Shin and C. Tien-Chien. 2-phase approach to global tool interference avoidance in 5-axis machining. Computer-Aided Design, 27(10):715-729, 1995.
350. M. Z̈ahle. Integral and current representations of federer's curvature measures. Arch. Math. (Basel), 46:557-567, 1986.
351. H. K. Zhao, S. Osher, and R. Fedkiw. Fast surface reconstruction using the level set method. In Proc. IEEE Workshop on Variational and Level Set Methods in Computer Vision, page 194, 2001.
352. A. Zomorodian. Topology for Computing, volume 16 of Cambridge Monographs on Applied and Computational Mathematics. Cambridge University Press, 2005.