Abstract
This is the second in a series of papers concerning a project to set up a computer database of exact solutions in general relativity which can be accessed and updated by the user community. In this paper, we discuss the choice of computer algebra platform and the general relativity application package. The derivative operators needed in the Cartan-Karlhede classification algorithm and the behaviour of symmetric spinors under frame rotations are then presented.
Export citation and abstract BibTeX RIS