Elucidation of covariant proofs in general relativity: example of the use of algebraic software in the shear-free conjecture in MAPLE
type: Item
instance of: scholarly article
title: Elucidation of covariant proofs in general relativity: example of the use of algebraic software in the shear-free conjecture in MAPLE
zbMATH Open document ID: 1381.83015
author: P. A. Huf
author: John Carminati
published in: General Relativity and Gravitation
publication date: 2018-02-26T00:00:00Z
Mathematics Subject Classification ID: 83C15
Mathematics Subject Classification ID: 83-08
Mathematics Subject Classification ID: 53Z05
Mathematics Subject Classification ID: 83C05
Mathematics Subject Classification ID: 97M50
zbMATH DE Number: 6843682
zbMATH Keywords: general relativity
zbMATH Keywords: covariant formalism
zbMATH Keywords: algebraic proof
zbMATH Keywords: Einstein field equations
zbMATH Keywords: Einstein summation index
zbMATH Keywords: shear-free conjecture
zbMATH Keywords: cosmology
zbMATH Keywords: Maple
zbMATH Keywords: algebraic tensor software
zbMATH Keywords: Tensorpack
describes a project that uses: Maple
describes a project that uses: REDUCE
describes a project that uses: SHEEP
MaRDI profile type: Publication
full work available at URL: s10714-017-2325-5
OpenAlex ID: W2773554493
Wikidata QID: Q111897829
cites work: Contributions to the relativistic mechanics of continuous media
cites work: Q4838968
cites work: Q4002313
cites work: Isotropic solutions of the Einstein-Boltzmann equations
cites work: Dynamical laws of superenergy in general relativity
cites work: Relativistic Cosmology
cites work: Q3619430
cites work: Theorems on shear-free perfect fluids with their Newtonian analogues
cites work: The \texttt{Invar} tensor package: differential invariants of Riemann
cites work: The shear-free perfect fluid conjecture
DOI: 10.1007/S10714-017-2325-5
description: scientific article; zbMATH DE number 6843682