Computer algebra in gravity
Christian Heinicke, Friedrich W. Hehl
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.
Create a lesson
Related papers
Spin-network states for the Bianchi I and IX cosmological models from quantum constrained symmetries
Matteo Bruno, Giovanni Montani, Edoardo Maria Panno
Entropy, area, and the choice of regulator during gravitational collapse
Jana N. Guenther, Christian Hoelbling, Sophie Mutzel et al.
On the Extended Kerr-Newman-Bertotti-Robinson Spacetime: Two Black Holes and a Naked Singularity in Bertotti-Robinson Universe
Yu-Sen Zhou, Wen-Tao Fu, Li-Ming Cao et al.
The return of Palatini inflationary attractors: Universal mapping of observables
Christian Dioguardi, Francesco Gianesello, Antonio Racioppi
Gravity from Invariant Weyl-Integrable space-time (IWIST)
José Edgar Madriz Aguilar, A. Bernal, M. Montes et al.
Quasinormal modes of Schwarzschild--AdS black holes with a near-horizon reflective surface
Libo Xie, Liang-Bi Wu, Yu-Sen Zhou et al.