The use of symbolic calculations in post-Riemannian and multidimensional theories of gravity

Abstract

We have developed new methods of using symbolic computer calculations for four- and higher-dimensional, geometrically generalized spaces. In particular, we work with differential identities in order to check the variational field equations of a conformal theory of gravity with a scalar field in Weyl-Cartan space. To simplify the navigation, we have worked out a graphic user interface, making it possible to solve problems of a post-Riemannian theory of gravity in Weyl-Cartan space, as well as those of the Kaluza-Klein five-dimensional unified theory of gravity and electromagnetism, in particular, in the external form formalism.