Finding isometry groups in theory and practice
- Cite this article as:
- Araujo, M.E., Dray, T. & Skea, J.E.F. Gen Relat Gravit (1992) 24: 477. doi:10.1007/BF00760132
An algorithm is given for determining the isometry group of an arbitrary spacetime (in four dimensions). Numerous examples are given and the partial implementation of this algorithm using the symbolic manipulation package CLASSI is discussed.