Invariant Algebras and Geometric Reasoning

The demand for more reliable geometric computing in robotics, computer vision and graphics has revitalized many venerable algebraic subjects in mathematics OCo among them, GrassmannOCoCayley algebra and Geometric Algebra. Nowadays, they are used as powerful languages for projective, Euclidean and other classical geometries. This book contains the author and his collaborators' most recent, original development of GrassmannOCoCayley algebra and Geometric Algebra and their applications in automated reasoning of classical geometries. It includes two of the three advanced invariant algebras OCo Cayley bracket algebra, conformal geometric algebra, and null bracket algebra OCo for highly efficient geometric computing. They form the theory of advanced invariants, and capture the intrinsic beauty of geometric languages and geometric computing. Apart from their applications in discrete and computational geometry, the new languages are currently being used in computer vision, graphics and robotics by many researchers worldwide. Sample Chapter(s). Chapter 1: Introduction (252 KB). Contents: Projective Space, Bracket Algebra and GrassmannOCoCayley Algebra; Projective Incidence Geometry with Cayley Bracket Algebra; Projective Conic Geometry with Bracket Algebra and Quadratic Grassmann-Cayley Algebra; Inner-product Bracket Algebra and Clifford Algebra; Geometric Algebra; Euclidean Geometry and Conformal GrassmannOCoCayley Algebra; Conformal Clifford Algebra and Classical Geometries. Readership: Graduate students in discrete and computational geometry, and computer mathematics; mathematicians and computer scientists.