Computer algebra system Frame fields in general relativity External links Interactive Geometric Database includes some data derived from an implementation of the Cartan–Karlhede algorithm. References Riemannian geometry Mathematical methods in general relativity