  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.
