General Relativity and the Application of Algebraic Manipulative Systems

Communications of the ACM

Volumn 14, Issue 8, 1971, Pages 542-547

  Barton, D ^a   Fitch, J P ^a  

^a William Gates Building   (United Kingdom)

Author keywords

algebraic manipulation; equation manipulation; general relativity; nonnumerical mathematics; symbolic mathematics

Indexed keywords

SYMBOLIC MANIPULATION;

RELATIVITY--COMPUTER APPLICATIONS;

EID: 0015111332     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/362637.362650     Document Type: Article

References (20)

1. Barton, D., Bourne, S.R., and Fitch, J.P. Comput. J. 13, 1 (1970), 32-39.
2. Blair, F.W., Griesmer, J.H., and Jenks, R.D. Proc. Internat. Comput. Symp., Bonn, Germany, May 1970.
3. Bondi, H., Van der Burg, M.G.J., and Metzner, A.W.K. Proc. Roy. Soc. A269 (1962), 21.
4. Clemens, R., and Matzner, R. U. of Maryland Tech. Rep. 635, 1967.
5. Ellis, G.F.R. J. Math. Phys. 8, 5 (1967), 1171-1193.
6. Ellis, G.F.R., and Stewart, J.M. J. Math. Phys. 9, 7 (1968), 1072-1082.
7. Engelman, C. Proc. IFIP Congr. 68, Booklet B, 1968.
8. Fitch, J.P., Ph.D. Thesis, U. of Cambridge, Cambridge, England, 1971.
9. Fletcher, J.G. U.C.R.L. Rep. 14624-T, 1965.
10. Harrison, B.K. Phys. Rev. 116 (1959), 1285-1296.
11. Hearn, A.C. SHARE 34, 1970.
12. D'Inverno, R.A. Comput. J. 12, 2 (1970), 124-127.
13. D'Inverno, R.A. and Russell-Clark, R.A., J. Math. Phys. (1970), to appear.
14. Jefferys, W.H., Proc. 2nd Symp. Symbolic and Algebraic Manipulation 1971.
15. Penrose, R. Ann. Phys. (N.Y.) 10 (1960), 171-201.
16. Richardson, D. Ph.D. Thesis, U. of Bristol, Bristol, England, 1966.
17. Thorne, K.S., and Campolattaro, A. Astrophys. J. 159 (1970), 847-858.
18. Thorne, K.S., and Zimmerman, B.A. Joint Tech. Rep., Calif. Inst. Technol., Pasadena, Calif., 1967.
19. Tobey, R.G., et al. PL/I formac interpreter, users reference manual, ibm Contributed Program Library 360 D 03.3004, Hawthorne, N.Y., 1967.
20. Wheelock, B.C. SHARE 34, 1970.