1 paper
Christian Heinicke, Friedrich W. Hehl
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…