A reduce program for the calculation of geometrical characteristics of compactified multidimensional Riemannian space

Title of program: TAVI Catalogue Id: AADJ_v1_0 Nature of problem The construction of models describing the four fundamental interactions in the framework of the field theory formalism is currently a central physical problem. The generally covariant multidimensional theories of the Kaluza-Klein type are rather promising in this respect. To construct and analyze the Lagrangians and the equations of motion in this theory, knowledge of the connection, curvature, Ricci tensor, etc., for the group quotient space G/H is required. Versions of this program held in the CPC repository in Mendeley Data AADJ_v1_0; TAVI; 10.1016/0010-4655(85)90112-2 This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2019)