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 — among them, Grassmann-Cayley 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 Grassmann-Cayley algebra and Geometric Algebra and their applications in automated reason