Computer algebra in gravity: Reduce-Excalc programs for (non-)Riemannian space-times. I

Computer Physics Communications

Volumn 115, Issue 2-3, 1998, Pages 264-283

  Socorro, José ^a,c   Macías, Alfredo ^b   Hehl, Friedrich W ^a  

^a UNIVERSITY OF COLOGNE   (Germany)

^b UNIVERSIDAD AUTÓNOMA METROPOLITANA   (Mexico)

^c UNIVERSITY OF GUANAJUATO   (Mexico)

Author keywords

Exterior calculus; Gauge theory of gravity; Metric affine gravity; Reduce excalc package; Riemann cartan space times; Torsion

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING; ELECTRODYNAMICS;

COMPUTER ALGEBRA; PROGRAM PACKAGES;

GRAVITATION;

EID: 0032477113     PISSN: 00104655     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0010-4655(98)00133-7     Document Type: Article

References (43)

1. J.E. Åman et al., TCLASSI: A Computer Algebra Package for Torsion Theories of Gravitation, preprint April 1995; also Los Alamos eprint archive gr-qc/9711064.
2. C.H. Brans, in: Computer Algebra in Science and Engineering, J. Fleischer et al., eds. (World Scientific, Singapore, 1995) p. 183.
3. R. Debever, N. Kamran, R.G. McLenaghan, Phys. Lett. A 93 (1983) 399; J. Math. Phys. 25 (1984) 1955.
4. R. Debever, N. Kamran, R.G. McLenaghan, Phys. Lett. A 93 (1983) 399; J. Math. Phys. 25 (1984) 1955.
5. T. Dereli et al., Class. Quant. Grav. 13 (1996) L103.
6. J. Fleischer et al., eds., Computer Algebra in Science and Engineering (World Scientific, Singapore, 1995).
7. M. Francaviglia et al., eds., Proc. 14th Int. Conf. Gen. Rel. Grav. (GR14) (World Scientific, Singapore, 1997).
8. A. García Díaz, J. Math. Phys. 25 (1984) 1951.
9. A. García, A. Macías, in: Black Holes: Theory and Observation, F.W. Hehl, C. Kiefer, R. Metzler, eds. (Springer, Berlin, 1998), in print.
10. F. Gronwald, F.W. Hehl, in: Proc. Int. School Cosmol. Grav. 14th Course: Quant. Grav., P.G. Bergmann et al., eds. (World Scientific, Singapore, 1996) p. 148
11. D. Hartley, in: Relativity and Scientific Computing - Computer Algebra, Numerics, Visualization, F.W. Hehl, R.A. Puntigam, H. Ruder, eds. (Springer, Berlin, 1996) p. 173.
12. A.C. Hearn, REDUCE User's Manual, Version 3.5 RAND Publication CP78, Rev. 10/93.
13. F.W. Hehl, Workshop A.5(ii) of Proc. 14th Int. Conf. Gen. Rel. Grav. (GR14), M. Francaviglia et al., eds. (World Scientific, Singapore, 1997) p. 469.
14. F.W. Hehl, J. Socorro, Acta Phys. Polon. B 29 (1998) 1113.
15. F.W. Hehl, J.D. McCrea, E.W. Mielke, Y. Ne'eman, Phys. Rep. 258 (1995) 1.
16. F.W. Hehl, R.A. Puntigam, H. Ruder, eds., Relativity and Scientific Computing - Computer Algebra, Numerics, Visualization (Springer, Berlin, 1996).
17. C. Heinicke, unpublished manusscriot of a mini-research project (Univ. of Cologne, 1998).
18. S.A. Klioner, abstract submitted to GR14; e-mail: klioner@ipa.rssi.ru.
19. W. Kopczyński, A. Trautman, Space-time and Gravitation (Wiley, Chichester; PWN, Warszawa, 1992).
20. A. Macías, E.W. Mielke, J. Socorro, Class. Quant. Grav. 15 (1998) 445.
21. J.D. McCrea, in: Algebraic Computing in General Relativity, Vol. 2, M.J. Rebouças, W.L. Roque, eds. (Oxford Univ. Press, Oxford, 1994) p. 173; see the library ftp://euclid.maths, qmw.ac.uk/pub/grlib.
22. R.G. McLenaghan, in: Algebraic Computing in General Relativity, Vol. 2, M.J. Rebouças, W.L. Roque, eds. (Oxford Univ. Press, Oxford, 1994) p. 265.
23. Yu.N. Obukhov et al., Phys. Rev. D 56 (1997) 7769.
24. Yu.N. Obukhov et al., Phys. Lett. A 220 (1996) 1.
25. L. Parker, S.M. Christensen: MathTensor: A System for Doing Tensor Analysis by Computer (Addison-Wesley, Redwood City, 1994).
26. J.F. Plebanski, M. Demianski, Ann. Phys. (NY) 98 (1976) 98.
27. D. Pollney et al., Class. Quant. Grav. 13 (1996) 2289.
28. R.A. Puntigam, C. Lämmerzahl, F.W. Hehl, Class. Quant. Grav. 14 (1997) 1347.
29. R.A. Puntigam, E. Schrüfer, F.W. Hehl, in: Computer Algebra in Science and Engineering, J. Fleischer et al., eds. (World Scientific, Singapore, 1995) p. 195.
30. M.J. Rebouças, W.L. Roque, eds., Algebraic Computing in General Relativity, Vol. 2 (Oxford Univ. Press, Oxford, 1994).
31. E. Schrüfer, EXCALC: A System for Doing Calculations in the Calculus of Modern Differential Geometry, GMD-SCAI, D-53757 St. Augustin (1994).
32. E. Schrüfer, F.W. Hehl, J.D. McCrea, Gen. Rel. Grav. 19 (1987) 197.
33. H.H. Soleng, in: Relativity and Scientific Computing - Computer Algebra, Numerics, Visualization, F.W. Hehl, R.A. Puntigam, H. Ruder, eds. (Springer, Berlin, 1996) p. 210.
34. D. Stauffer et al., Computer Simulation and Computer Algebra - Lectures for Beginners. 3rd ed. (Springer, Berlin, 1993).
35. S.I. Tertychniy, I.G. Obukhova, SIGSAM Bull. 31, n. 1, issue 119 (1997) 6.
36. R. Tresguerres, Z. Phys. C 65 (1995) 347.
37. R. Tresguerres, Phys. Lett. A 200 (1995) 405.
38. E. Tsantilis, R.A. Puntigam, F.W. Hehl, in: Relativity and Scientific Computing - Computer Algebra, Numerics, Visualization, F.W. Hehl, R.A. Puntigam, H. Ruder, eds. (Springer, Berlin, 1996) p. 231.
39. R. Tucker, Acta Phys. Polon. B 29 (1998).
40. R.W. Tucker, C. Wang, Class. Quant. Grav. 12 (1995) 2587.
41. E.J. Vlachynsky et al., Class. Quant. Grav. 13 (1996) 3253.
42. T. Wolf, in: Relativity and Scientific Computing - Computer Algebra, Numerics, Visualization, F.W. Hehl, R.A. Puntigam, H. Ruder, eds. (Springer, Berlin, 1996) p. 241.
43. V.V. Zhytnikov: GRG: Computer Algebra System for Diff. Geom., Grav., Field Theory; see ftp.maths.qmw.ac.uk in dir. pub/grg3.1.