Algebraic programming in general relativity and cosmology

Some algebraic programs which can be used for the computer calculation of the explicit forms of analytic expressions and equations in general relativity and cosmology are briefly described. These programs apply to field equations for Bianchi cosmological models, the Hamiltonian formalism is general relativity, and the application of that formalism to some vacuum inhomogeneous space-times with stationary axisymmetric metrics. These programs are written in the algebraic languages REDUCE 2 and 3 and in LISP.