SHEEP and Classification in General Relativity

  title={SHEEP and Classification in General Relativity},
  author={Inge Frick and Jan E. {\AA}man},
  booktitle={European Conference on Computer Algebra},
SHEEP is a computer algebra system mainly devoted to calculations in General Relativity [1,2]. A typical problem for SHEEP is to check if a given curved space-tlme fulfils Einstein's equations or not. This means calculating the Ricci tensor from the components of the metric tensor given as analytic equations of the coordinates of space-time, a calculation that for any non-trivial example involves quite heavy algebraic calculations. 

Topics from this paper.