2165	 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. symbolic mathematics nonnumerical mathematics general relativity algebraic manipulation equation manipulation
