The verification of Killing tensor components for metrics in general relativity using the computer algebra system SHEEP
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.
scientific article; zbMATH DE number 3994455
scientific article