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. symbolic mathematics,nonnumerical mathematics, general relativity, algebraic manipulation, equation manipulation 1.3 3.11 5.10 CA710807 JB February 2, 1978 2:53 PM 2165 5 2165 2165 5 2165 2165 5 2165 2170 5 2165 3071 5 2165 2165 6 2165 2165 6 2165 2167 6 2165 2166 6 2165