General Relativity and the Application of Algebraic Manipulative Systems
The paper describes some applications of symbolic
algebra systems to problems of general relativity 
including the derivation of the field equations, the
Petrov classification of a metric, and the solution 
of the field equations in the presence of matter in
a simple case.  Attention is drawn to the strictly 
algebraic difficulties encountered in this work.
CACM August, 1971
Barton, D.
Fitch, J. P.
