An algorithmic classification of geometries in general relativity.

Jan E. man, Anders Karlhede

Browse the full ISSAC paper archive.