Computer algebra in gravity
General Relativity and Quantum Cosmology
2007-05-23 v1
Abstract
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.
Cite
@article{arxiv.gr-qc/0105094,
title = {Computer algebra in gravity},
author = {Christian Heinicke and Friedrich W. Hehl},
journal= {arXiv preprint arXiv:gr-qc/0105094},
year = {2007}
}
Comments
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)