2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/34474We discuss the application of computer algebra to problems commonly arising in numerical relativity, such as the derivation of 3+1-splits, manipulation of evolution equations and automatic code generation. Particular emphasis is put on working with abstract index tensor quantities as much as possible.5 pages, no figures. To appear in the Proceedings of the Spanish Relativity Meeting (ERE 2002), Mao, Menorca, Spain, 22-24 Sept 2002General Relativity and Quantum Cosmologytext