Geometric ComputationWorld Scientific, 2004 - 413 pages This book contains tutorial surveys and original research contributions in geometric computing, modeling, and reasoning. Highlighting the role of algebraic computation, it covers: surface blending, implicitization, and parametrization; automated deduction with Clifford algebra and in real geometry; and exact geometric computation. Basic techniques, advanced methods, and new findings are presented coherently, with many examples and illustrations. Using this book the reader will easily cross the frontiers of symbolic computation, computer aided geometric design, and automated reasoning. The book is also a valuable reference for people working in other relevant areas, such as scientific computing, computer graphics, and artificial intelligence. Contents: Algebraic Methods in Computer Aided Geometric Design: Theoretical and Practical Applications (L Gonzilez-Vega et al.); Constructing Piecewise Algebraic Blending Surfaces (Y Feng et al.); Rational Curves and Surfaces: Algorithms and Some Applications (J R Sendra); Panorama of Methods for Exact Implicitization of Algebraic Curves and Surfaces (I S Kotsireas); Implicitization and Offsetting via Regular Systems (D Wang); Determining the Intersection Curve of Two 3D Implicit Surfaces by Using Differential Geometry and Algebraic Techniques (L Gonzilez-Vega et al.); Analytical Properties of Semi-Stationary Subdivision Schemes (H Zhang & G Wang); Meshless Method for Numerical Solution of PDE Using Hermitian Interpolation with Radial Basis (Z Wu & J Liu); Clifford Algebras in Geometric Computation (H Li); Automated Deduction in Real Geometry (L Yang & B Xia); Automated Derivation of Unknown Relations and Determination of Geometric Loci (Y Li); On Guaranteed Accuracy Computation (C K Yap); Dixon A-Resultant Quotients for 6-Point Isosceles Triangular Corner Cutting (M-C Foo & E-W Chionh); Face Recognition Using Hidden Markov Models and Artificial Neural Network Techniques (Z Ou & B Xue). Readership: Upper-level undergraduates, graduate students, researchers and engineers in geometric modeling." |
Contents
Theoretical and Practical Applications | 1 |
Chapter 2 Constructing Piecewise Algebraic Blending Surfaces | 34 |
Algorithms and Some Applications | 65 |
Chapter 4 Panorama of Methods for Exact Implicitization of Algebraic Curves and Surfaces ... | 126 |
Chapter 5 Implicitization and Offsetting via Regular Systems | 156 |
Chapter 6 Determining the Intersection Curve of Two 3D Implicit Surfaces by Using Differential Geometry and Algebraic Techniques ... | 177 |
Chapter 7 Analytical Properties of SemiStationary Subdivision Schemes | 191 |
Chapter 8 Meshless Method for Numerical Solution of PDE Using Hermitian Interpolation with Radial Basis ... | 209 |
Chapter 10 Automated Deduction in Real Geometry | 248 |
Chapter 11 Automated Derivation of Unknown Relations and Determination of Geometric Loci ... | 299 |
Chapter 12 On Guaranteed Accuracy Computation | 322 |
Chapter 13 Dixon AResultant Quotients for 6Point Isosceles Triangular Corner Cutting | 374 |
Chapter 14 Face Recognition Using Hidden Markov Models and Artificial Neural Network Techniques ... | 396 |
407 | |
List of Authors | 413 |
Chapter 9 Clifford Algebras in Geometric Computation | 221 |
Other editions - View all
Common terms and phrases
absolute bits adjoint curves affine Aided Geometric Design algebraic curves Algebraic Geometry algebraic surfaces algorithm applications approximation Berlin Heidelberg blending surface bracket CAGD called Chen Clifford algebra coefficients components Computer Aided Geometric Computer Algebra consider cubic curves and surfaces Definition degree denote distinct real solutions E-HMM Example finite Geometric Computation Geometric Continuity given González-Vega Gröbner bases implicit equation inequality intersection curve irreducible Journal of Symbolic Lemma Mathematics matrix method monomial support multiplicity n₁ obtain offset output P₁ parametric equations parametric surface plane curve pointer machines polynomial polynomial systems precision problem projective Proof proper parametrization R₁ rational curves rational functions rational parametrization rational surface regular systems reparametrization representation respectively result Sendra J. R. solving Step strong regular set subdivision Symbolic Computation T₁ Theorem tion triangular set u₁ vector Wang Zero(T