Contains the author's development of Grassmann-Cayley algebra and geometric algebra and their applications in automated reasoning of classical geometries. This book includes three advanced invariant algebras - Cayley bracket algebra, conformal geometric algebra, and null bracket algebra - for efficient geometric computing.