Algebraic computing in torsion theories of gravitation Original Research Article

A suite of computer algebra programs for tensor and spinor calculations in torsion theories of gravitation is presented. Modules for the algebraic classification of curvature tensors in Riemann-Cartan space-times are discussed. The basic theoretical results and an algorithm for the equivalence problem for Riemann-Cartan space-times are presented. The package tclassi which implements this algorithm is also discussed.