Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 542-547 |
| Number of pages | 6 |
| Journal | Communications of the ACM (CACM) |
| Volume | 14 |
| Issue number | 8 |
| Publication status | Published - Aug 1971 |