Computer algebra in spacetime embedding (Q1186719)

Let \(V^ 4\) be a spacetime (= a pseudo-Riemannian manifold of signature (3,1)), isometrically embedded in a pseudo-Euclidean manifold \(M^{4+n}\). The main result of the paper is an algorithm, which determines the normal vectors to \(V^ 4\) in \(M^{4+n}\) and then finds the second fundamental form and the torsion vector. The authors mention, that they implemented the algorithm in the algebraic computing system REDUCE. As an example they study the Schwarzschild spacetime, embedded in a 6-dimensional pseudo-Euclidean manifold.