Symbolic computation in relativity theory

  • M. A. H. MacCallum
Invited Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 378)

Abstract

After a brief introduction to the theory of relativity, the history and current status of computer algebra programs for this field are reviewed (though full system descriptions are not given). Their applications are described in outline, and the “equivalence problem” is discussed as a more detailed example. Recent developments are highlighted. Finally some prospects and problems are mentioned.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    R.A. d'Inverno, “Algebraic computing in general relativity”, Gen. Rel. Grav., 6, 567 (1976).CrossRefGoogle Scholar
  2. [2]
    J.P. Fitch, “An algebraic manipulator”, Ph.D. thesis, Cambridge University (1971).Google Scholar
  3. [3]
    A. Krasinski, “The program ORTOCARTAN for applications in Einstein's relativity theory”, Lect. Notes Comp. Sci. 204, 159–160, Springer-Verlag, Berlin and Heidelberg (1985).Google Scholar
  4. [4]
    H. Strubbe, “Development of the SCHOONSCHIP program”, Comp. Phys. Commun. 18, 1–5 (1979).CrossRefGoogle Scholar
  5. [5]
    E. Schrüfer, F. Hehl & J.D. McCrea, “Application of the REDUCE package EXCALC to the Poincare gauge field theory”, Gen. Rel. Grav., 19, 197 (1987).CrossRefGoogle Scholar
  6. [6]
    C.C. Dyer, S. Allen & J.S. Harper, “The MuTENSOR computer system for general relativity”, in Abstracts of the 11th international conference on general relativity and gravitation, Stockholm, Sweden, ed. B. Laurent and K.Rosquist (1986).Google Scholar
  7. [7]
    R.A. d'Inverno, “A review of algebraic computing in general relativity”, in General relativity and gravitation: one hundred years after the birth of Albert Einstein, vol. 1, ed. A. Held, Plenum Press, New York and London, 491–537 (1980).Google Scholar
  8. [8]
    M.A.H. MacCallum, “Algebraic computing in general relativity”, in Classical general relativity, ed. W.B. Bonnor, J.N. Islam and M.A.H. MacCallum, Cambridge University Press, London and New York, 145–171 (1984).Google Scholar
  9. [9]
    M.A.H. MacCallum, “Algebraic computing in relativity”, in Dynamical spacetimes and numerical relativity, ed. J.M. Centrella, Cambridge University Press, London and New York, 411–445 (1986).Google Scholar
  10. [10]
    J.A. van Hulzen, “Program generation aspects of the symbolic-numeric interface”, in Proceedings of the international conference on computer algebra and its applications in theoretical physics, ed. N.N. Govorun, Dubna (1985).Google Scholar
  11. [11]
    M.A.H. MacCallum (ed.), “General Relativity and Gravitation (Proceedings of the 11th International conference on general relativity and gravitation)”, Cambridge University Press, London and New York (1987).Google Scholar
  12. [12]
    J.W. Eastwood & W. Arter, “Interpretation of disruptions in tokamaks”, Phys. Rev. Lett. 57, 2528–2531 (1986).PubMedGoogle Scholar
  13. [13]
    J.M. Centrella, S.L. Shapiro, C.R. Evans, J.F. Hawley & S.A. Teukolsky, “Test-bed calculations in general relativity”, in Dynamical spacetimes and numerical relativity, ed. J.M. Centrella, Cambridge University Press, London and New York, 326–344 (1986).Google Scholar
  14. [14]
    J.W.B. Hughes & R.C. King, “A conjectured character formula for atypical irreducible modules of the Lie superalgebra sl(m/n)”, J. Phys. A 20, L1047-52 (1987).Google Scholar
  15. [15]
    D. Kramer, H. Stephani, M.A.H. MacCallum and E. Herlt, “Exact solutions of Einstein's field equations”, Deutscher Verlag der Wissenschaften, Berlin, and Cambridge University Press, London and New York (1980).Google Scholar
  16. [16]
    M.A.H. MacCallum, “Computer-aided classification of exact solutions in general relativity”, in Gravitational collapse and relativity, ed. T. Nakamura and H. Sato, World Scientific, Singapore (1986).Google Scholar
  17. [17]
    N. Kamran, “Contributions to the study of the equivalence problem of Élie Cartan and its applications to partial and ordinary differential equations”, Princeton University preprint (1988).Google Scholar
  18. [18]
    M.A.H. MacCallum and J.E. Åman, “Algebraically independent n-th derivatives of the Riemann curvature spinor in a general space-time”, Class. Quant. Grav. 3, 1133–1141 (1986).CrossRefGoogle Scholar

Copyright information

© Springer-Verlag 1989

Authors and Affiliations

  • M. A. H. MacCallum
    • 1
  1. 1.School of Mathematical SciencesQueen Mary CollegeLondonUK

Personalised recommendations