|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
A. COLEY, C. C. D., AND TUPPER, B. A pair of computer algebra systems for general relativity, in Proceedings of Second Canadian Conference on General Relativity ~ Relativistic Astrophysics (1987), pp. 144,147.
|
| |
2
|
AMAN, J. E., AND KARLHEDE, A. A computer-aided complete classification of geometries in general relativity. first results. Physics Letters A, 80 (1980), 229-231.
|
 |
3
|
|
| |
4
|
BOGEN, R., AND PAVELLE, R. In Proceedings of the 1977 MA CSYMA User's Conference (NASA, Washington, 1977), p. 75,
|
| |
5
|
|
| |
6
|
CARMINATI, J., AND MCLENAGHAN, m. G. Algebraic invariants of the riemann tensor in a four-dimensional lorentzian space. J. Math. Phys. 32, 11 (1991), 3135.
|
| |
7
|
Bruce W. Char , Benton L. Leong , Keith O. Geddes , Michael B. Monagan , Gaston H. Gonnet , Stephen M. Watt, First leaves: a tutorial introduction to Maple V, Springer-Verlag New York, Inc., New York, NY, 1992
|
| |
8
|
CHRISTENSEN, S., AND PARKER, L. Mathtensor: A system for doing tensor analysis by computer. Mathematical Journal, 1 (1990), 51.
|
| |
9
|
CHU, K., FARELL, C. E., FEE, G. J., AND MCLE- NAGHAN, R. G~ General relativity calculations in maple. In Proceeding o/ the 6th Canadian Conference on General Relativity ~ Relatiwst~c Astrophysics (University of New Brunswick, 1995).
|
| |
10
|
D'INVERNO, ~. A., AND RUSSELL-CLARK, m. A. Cornput. J., 17 (1971), 229.
|
| |
11
|
EISENHART, L. P. Riemann~an Geometry. Princeton University Press, 1925.
|
| |
12
|
ELLIS, G. F. R., ET AL. Cargese lectures in Physics. Gordon and Beach Science Publishers, 1973.
|
| |
13
|
FLANDERS, H. Differential forms, with applications to the physical sczences. Academic Press, New York, 1963.
|
| |
14
|
FalCK, I. Sheep user's guide. Tech. rep., University of Stockholm Institute of Theoretical Physics report, 1977.
|
| |
15
|
HORNFELDT, L. Stensor reference manual, version 2.3. Tech. rep., Univ. of Stockholm, Dept. of Theor. Phys., 1988.
|
| |
16
|
KAVIAN, M. Tensor computation on computer algebra systems. Master's thesis, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada, 1994.
|
| |
17
|
KAVIAN, M., MCLENAGHAN, R. G., AND GEDDES, K. O. Mapletensor: A new system for performing indicial and component tensor calculations by computer. In Proceeding of the 7th Marcel Grossman Conference (Singapore, 1995), W. Scientific, Ed. in press.
|
| |
18
|
KAVIAN, M., MCLENAGHAN, m. G., AND GEDDES, K. O. Mapletensor: A new system for performing indicial and component tensor calculations by computer. In Proceeding of the 6th Canadian Conference on General Relativity ~ Relativistic Astrophysics (University of New Brunswick, 1995).
|
| |
19
|
KAVIAN, M., M:CLENAGHAN, R. G., AND GEDDES, K.O. Mapletensor: A new system for performing indicial and component tensor calculations by computer. In Proceeding of the 14th International Conference on General Relativity and Gravitatzon (Florence, Italy, 1995).
|
| |
20
|
KLIONER, S. A. A mathematica package for tensorial calculations in astronomical applications of relativistic ~re~v~;y Jclxeor~e~. In P~o~eed~g of ~h~ I4~h Inta~at~o~al Conference on General Relativity and Grawtation (Florence, Italy, 1995).
|
| |
21
|
KRAMER, D., STEPHANI, H., HERLT, E., AND MAC- CALLUM, M. Exact Solutions of Einstein's Field Equations. Cambridge University Press, Cambridge, 1980.
|
| |
22
|
LAKE, K., ~~IUSGRAVE, P., AND POLLNEY, D. GRTensot II, Component Tensor Calculations for General Retatiwty. Queen's University, Dept. of Physics, 1994.
|
| |
23
|
LANDAU, L. D. The classical theory offields. Pergamon Press, 1979.
|
| |
24
|
LEE, J. M. A Mathematica Package for doing Tensor Calculations in Differential Geometry. Department of Mathematics, GN-50, University of Washington, Seattle, WA 98195, 1995.
|
| |
25
|
MCLENAGHAN, a. G. On the validity of huygens' principle for second order partial differential equations with four independent variables, part i: Derivation of necessaxy conditions. Ann. inst. Henri Poincard, 20 (1974), 153-188.
|
| |
26
|
SOLENG, H. H. The tensor algebra package CAR- TAN. In Proceeding of the 14th International Conference on General Relativity and Gravitation (Florence, Italy, 1995).
|
| |
27
|
|
CITED BY
|
|
M. Kavian , R. G. McLenaghan , K. O. Geddes, Application of genetic algorithms to the algebraic simplification of tensor polynomials, Proceedings of the 1997 international symposium on Symbolic and algebraic computation, p.93-100, July 21-23, 1997, Kihei, Maui, Hawaii, United States
|
|