2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/33905We 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.10 pages, LaTeX2e, hyperref, updated version of an article to appear in: Computer Algebra Handbook. J. Grabmeier, E. Kaltofen, V. Weispfennig, editors (Springer, Berlin 2001/2002)General Relativity and Quantum Cosmologytext