Heinicke С., Hehl F.W. Computer algebra in gravity

Institute for Theoretical Physics (University of Cologne,Koln, Germany) ,2008, 10 p.
Updated version of an article to appear in: Computer Algebra Handbook. J. Grabmeier, E. Kaltofen, V. Weispfennig, editors (Springer, Berlin 2001/2002).We survey the application of computer algebra in the context of gravitational theories. After some general remarks, we show of how to check the second Bianchi-identity by means of the Reduce package Excalc. Subsequently we list some computer algebra systems and packages relevant to applications in gravitational physics. We conclude by presenting a couple of typical examples.