Elucidation of covariant proofs in general relativity: example of the use of algebraic software in the shear-free conjecture in MAPLE

DOI10.1007/s10714-017-2325-5zbMath1381.83015OpenAlexW2773554493WikidataQ111897829 ScholiaQ111897829MaRDI QIDQ1699963

P. A. Huf, John Carminati

Publication date: 26 February 2018

Published in: General Relativity and Gravitation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10714-017-2325-5

zbMATH Keywords

cosmologyEinstein field equationsgeneral relativityMaplecovariant formalismalgebraic proofalgebraic tensor softwareEinstein summation indexshear-free conjectureTensorpack

Mathematics Subject Classification ID

Applications of differential geometry to physics (53Z05) Einstein's equations (general structure, canonical formalism, Cauchy problems) (83C05) Exact solutions to problems in general relativity and gravitational theory (83C15) Computational methods for problems pertaining to relativity and gravitational theory (83-08) Physics, astronomy, technology, engineering (aspects of mathematics education) (97M50)

Related Items

TensorPack

Uses Software

• Maple
• REDUCE
• SHEEP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The \texttt{Invar} tensor package: differential invariants of Riemann
• Theorems on shear-free perfect fluids with their Newtonian analogues
• Contributions to the relativistic mechanics of continuous media
• Isotropic solutions of the Einstein-Boltzmann equations
• The shear-free perfect fluid conjecture
• Relativistic Cosmology
• Dynamical laws of superenergy in general relativity