The verification of Killing tensor components for metrics in general relativity using the computer algebra system SHEEP (Q1819741)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The verification of Killing tensor components for metrics in general relativity using the computer algebra system SHEEP |
scientific article |
Statements
The verification of Killing tensor components for metrics in general relativity using the computer algebra system SHEEP (English)
0 references
1987
0 references
We report on a program, written in the computer algebra system SHEEP, for verifying the components of Killing tensors and conformal Killing tensors. We give some examples, including the components of the Killing tensor admitted by the Kerr metric. We also note that the explicit form of all conformal Killing tensors for a subclass of the Petrov type D solutions is known.
0 references
computer algebra
0 references
SHEEP
0 references
Killing tensors
0 references
Kerr metric
0 references
Petrov type D solutions
0 references
