We 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.Comment: 5 pages, no figures. To appear in the Proceedings of the Spanish
  Relativity Meeting (ERE 2002), Mao, Menorca, Spain, 22-24 Sept 200

Husa, Sascha