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