2001/05/25 by Christian Heinicke, Heinicke, Christian, Friedrich W. Hehl +1
Physics and Astronomy · #FOS: Physical sciences #General Relativity and Quantum Cosmology (gr-qc) #gr-qc
paper · pdf · doi:10.48550/arxiv.gr-qc/0105094
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)
arxiv created 2001/05/25 · arxiv updated 2009/11/30
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.