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.
|Number of pages||6|
|Journal||Communications of the ACM (CACM)|
|Publication status||Published - Aug 1971|