SHEEP: A computer algebra system for general relativity: An overview of SHEEP; Using SHEEP and CLASSI; Using CLASSI to classify metrics; The internals of SHEEP; Packages for special occasions; STENSOR; REDUCE: in general relativity and Poincare gauge theory: Geometrical preliminaries; Calculations on coordinate bases; Anholonomic frames; The exterior calculus package EXCALC; The Poincare gauge theory; MAPLE: applications to general relativity: Introduction;
Computation of the connection and the curvature; The Petrov classification of the Weyl tensor; Computer algebra aided integration of field equations with the NP package; Bibliography; Index.