Computer algebra in spacetime embedding
  In this paper we describe an algorithm to determine the vectors normal to a space-time V4 embedded in a pseudo-Euclidean manifold M4+n. An application of this algorithm is given considering the Schwarzchild space-time geometry embedded in a 6 dimensional pseudo-Euclidean manifold, using the algebraic computing system REDUCE. 
Waldir L. Roque, Renato P. dos Santos
physics.comp-ph gr-qc