arXiv:gr-qc/9510052gr-qc
Junctions and thin shells in general relativity using computer algebra I: The Darmois-Israel Formalism
Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.
Abstract
We present the GRjunction package which allows boundary surfaces and thin-shells in general relativity to be studied with a computer algebra system. Implementing the Darmois-Israel thin shell formalism requires a careful selection of definitions and algorithms to ensure that results are generated in a straight-forward way. We have used the package to correctly reproduce a wide variety of examples from the literature. We present several of these verifications as a means of demonstrating the packages capabilities. We then use GRjunction to perform a new calculation - joining two Kerr solutions with differing masses and angular momenta along a thin shell in the slow rotation limit.
To me, General Relativity has some pleasing qualities: it's mathematically complete, and it's very flexible. As to the Einstein Field Equations (EFEs) themselves, the aesthetically pleasing quality is the terse notation brought about by the Einstein summation convention…
raattgiftView on HNParent context