|
1 Introduction and Overview |
|
|
1 | (8) |
|
1.1 Linear Computational Geometry |
|
|
1 | (3) |
|
1.2 Non-linear Computational Geometry |
|
|
4 | (1) |
|
|
5 | (4) |
|
|
6 | (3) |
|
Part I Linear Computational Geometry |
|
|
|
|
9 | (10) |
|
|
9 | (3) |
|
2.2 Projective Transformations |
|
|
12 | (1) |
|
|
13 | (3) |
|
|
16 | (1) |
|
|
17 | (2) |
|
3 Polytopes and Polyhedra |
|
|
19 | (28) |
|
3.1 Definitions and Fundamental Properties |
|
|
19 | (6) |
|
3.2 The Face Lattice of a Polytope |
|
|
25 | (3) |
|
|
28 | (3) |
|
|
31 | (3) |
|
3.5 The Combinatorics of Polytopes |
|
|
34 | (6) |
|
3.6 Inspection Using polymake |
|
|
40 | (4) |
|
|
44 | (1) |
|
|
45 | (2) |
|
|
47 | (18) |
|
|
47 | (2) |
|
|
49 | (4) |
|
4.3 The Simplex Algorithm |
|
|
53 | (7) |
|
4.4 Determining a Start Vertex |
|
|
60 | (1) |
|
4.5 Inspection Using polymake |
|
|
61 | (2) |
|
|
63 | (1) |
|
|
64 | (1) |
|
5 Computation of Convex Hulls |
|
|
65 | (16) |
|
5.1 Preliminary Considerations |
|
|
65 | (1) |
|
5.2 The Double Description Method |
|
|
66 | (6) |
|
5.3 Convex Hulls in the Plane |
|
|
72 | (4) |
|
5.4 Inspection Using polymake |
|
|
76 | (1) |
|
|
77 | (1) |
|
|
78 | (3) |
|
|
81 | (18) |
|
|
81 | (2) |
|
|
83 | (1) |
|
6.3 Voronoi Diagrams and Convex Hulls |
|
|
84 | (4) |
|
6.4 The Beach Line Algorithm |
|
|
88 | (8) |
|
6.5 Determining the Nearest Neighbor |
|
|
96 | (1) |
|
|
97 | (1) |
|
|
98 | (1) |
|
|
99 | (20) |
|
7.1 Duality of Voronoi Diagrams |
|
|
99 | (3) |
|
7.2 The Delone Subdivision |
|
|
102 | (2) |
|
7.3 Computation of Volumes |
|
|
104 | (1) |
|
7.4 Optimality of Delone Triangulations |
|
|
105 | (4) |
|
7.5 Planar Delone Triangulations |
|
|
109 | (5) |
|
7.6 Inspection Using polymake |
|
|
114 | (2) |
|
|
116 | (1) |
|
|
116 | (3) |
|
Part II Non-linear Computational Geometry |
|
|
|
8 Algebraic and Geometric Foundations |
|
|
119 | (18) |
|
|
119 | (3) |
|
8.2 Univariate Polynomials |
|
|
122 | (1) |
|
|
123 | (2) |
|
8.4 Plane Affine Algebraic Curves |
|
|
125 | (2) |
|
|
127 | (2) |
|
|
129 | (4) |
|
8.7 Algebraic Curves Using Maple |
|
|
133 | (2) |
|
|
135 | (1) |
|
|
136 | (1) |
|
9 Grobner Bases and Buchberger's Algorithm |
|
|
137 | (20) |
|
9.1 Ideals and the Univariate Case |
|
|
137 | (4) |
|
|
141 | (4) |
|
9.3 Grobner Bases and the Hilbert Basis Theorem |
|
|
145 | (4) |
|
9.4 Buchberger's Algorithm |
|
|
149 | (3) |
|
|
152 | (1) |
|
9.6 Proving a Simple Geometric Fact Using Grobner Bases |
|
|
153 | (2) |
|
|
155 | (1) |
|
|
155 | (2) |
|
10 Solving Systems of Polynomial Equations Using Grobner Bases |
|
|
157 | (24) |
|
10.1 Grobner Bases Using Maple and Singular |
|
|
157 | (1) |
|
10.2 Elimination of Unknowns |
|
|
158 | (4) |
|
10.3 Continuation of Partial Solutions |
|
|
162 | (2) |
|
|
164 | (3) |
|
10.5 Solving Systems of Polynomial Equations |
|
|
167 | (4) |
|
10.6 Grobner Bases and Integer Linear Programs |
|
|
171 | (6) |
|
|
177 | (1) |
|
|
177 | (4) |
|
|
|
11 Reconstruction of Curves |
|
|
181 | (12) |
|
11.1 Preliminary Considerations |
|
|
181 | (1) |
|
11.2 Medial Axis and Local Feature Size |
|
|
182 | (3) |
|
11.3 Samples and Polygonal Reconstruction |
|
|
185 | (2) |
|
11.4 The Algorithm NN-Crust |
|
|
187 | (3) |
|
11.5 Curve Reconstruction with polymake |
|
|
190 | (1) |
|
|
190 | (2) |
|
|
192 | (1) |
|
12 Plucker Coordinates and Lines in Space |
|
|
193 | (16) |
|
|
193 | (1) |
|
12.2 Exterior Multiplication and Exterior Algebra |
|
|
194 | (5) |
|
|
199 | (4) |
|
12.4 Computations with Plucker Coordinates |
|
|
203 | (1) |
|
|
204 | (2) |
|
|
206 | (1) |
|
|
206 | (3) |
|
13 Applications of Non-linear Computational Geometry |
|
|
209 | (14) |
|
13.1 Voronoi Diagrams for Line Segments in the Plane |
|
|
209 | (3) |
|
13.2 Kinematic Problems and Motion Planning |
|
|
212 | (7) |
|
13.3 The Global Positioning System GPS |
|
|
219 | (2) |
|
|
221 | (1) |
|
|
222 | (1) |
|
Appendix A Algebraic Structures |
|
|
223 | (4) |
|
A.1 Groups, Rings, Fields |
|
|
223 | (1) |
|
|
224 | (3) |
|
Appendix B Separation Theorems |
|
|
227 | (4) |
|
Appendix C Algorithms and Complexity |
|
|
231 | (6) |
|
C.1 Complexity of Algorithms |
|
|
231 | (2) |
|
C.2 The Complexity Classes P and NP |
|
|
233 | (4) |
|
|
237 | (4) |
|
|
237 | (1) |
|
|
237 | (1) |
|
|
238 | (1) |
|
|
238 | (1) |
|
|
238 | (3) |
|
|
241 | (2) |
References |
|
243 | (4) |
Index |
|
247 | |