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 reasoning of classical geometries. It includes two of the three advanced invariant algebras...