# 3+1 general relativity by computer

## Description

Abstract We present some programs constructed to write the Einstein and matter conservation equations under the ADM or 3+1 formalism of general relativity as well as the relativistic Boltzmann equation in a fully covariant treatment. The programs are well suited to work in any coordinate system, but as a concrete application we treat the case of axisymmetric relativistic rotating systems and neutrino transport in spherical collapse. Title of program: EVOL, BOLTZ Catalogue Id: ACTG_v1_0 Nature of problem The computer programs developed to produce the Einstein field and matter evolution equations and also the Liouville operator for the relativistic Boltzmann equation find a direct application in the study of general relativistic dynamics of astrophysical objects and their radiation counterpart (for example, in relativistic neutrino transport and gravitational wave emission). Versions of this program held in the CPC repository in Mendeley Data ACTG_v1_0; EVOL, BOLTZ; 10.1016/0010-4655(94)90075-2 This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2019)