Publication:4745256
From MaRDI portal
zbMath0507.68022MaRDI QIDQ4745256
Publication date: 1981
computer program; Einstein's equations; gravitational field; algorithmic classification of the curvature tensor and a number of its derivatives; complete description of the geometry
68W30: Symbolic computation and algebraic computation
83C05: Einstein's equations (general structure, canonical formalism, Cauchy problems)
53C50: Global differential geometry of Lorentz manifolds, manifolds with indefinite metrics
83-04: Software, source code, etc. for problems pertaining to relativity and gravitational theory
53-04: Software, source code, etc. for problems pertaining to differential geometry
Related Items
The equivalence problem for generic four-dimensional metrics with two commuting Killing vectors, Inequivalent metrics with equal spin coefficients, Algebraic computing in torsion theories of gravitation.