Huf, P. A.; Carminati, J. Elucidation of covariant proofs in general relativity: example of the use of algebraic software in the shear-free conjecture in MAPLE. (English) Zbl 1381.83015 Gen. Relativ. Gravitation 50, No. 1, Paper No. 5, 23 p. (2018). MSC: 83C15 83-08 53Z05 83C05 97M50 × Cite Format Result Cite Review PDF Full Text: DOI
Lozanovski, C. An example of non-Weyl preserving complex transformation. (English) Zbl 1291.83028 Gen. Relativ. Gravitation 46, No. 5, Article ID 1716, 15 p. (2014). MSC: 83C05 53Z05 × Cite Format Result Cite Review PDF Full Text: DOI
Karlhede, Anders The equivalence problem. (English) Zbl 1145.53314 Gen. Relativ. Gravitation 38, No. 6, 1109-1114 (2006). MSC: 53C50 53C80 83C20 × Cite Format Result Cite Review PDF Full Text: DOI
Portugal, R. An algorithm to simplify tensor expressions. (English) Zbl 1009.53013 Comput. Phys. Commun. 115, No. 2-3, 215-230 (1998). Reviewer: Zhu Fulin (Hubei) MSC: 53B21 53-04 65D20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Santosuosso, Kevin; Pollney, Denis; Pelavas, Nicos; Musgrave, Peter; Lake, Kayll Invariants of the Riemann tensor for class \(B\) warped product space-times. (English) Zbl 1002.83503 Comput. Phys. Commun. 115, No. 2-3, 381-394 (1998). MSC: 83-08 83C20 53C80 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kavian, Masoud; McLenaghan, R. G.; Geddes, K. O. Maple Tensor: a new system for performing indicial and component tensor calculations by computer. (English) Zbl 0883.53061 Braham, Stephen P. (ed.) et al., The 6th Canadian conference on General relativity and relativistic astrophysics. 6th CCRRA, University of New Brunswick, Fredericton, NJ, USA, May 25–27, 1995. Providence, RI: AMS, American Mathematical Society. Fields Inst. Commun. 15, 269-272 (1997). MSC: 53Z05 68W30 53A45 83-04 83-08 × Cite Format Result Cite Review PDF
Kavian, Masoud; McLenaghan, R. G.; Geddes, K. O. MapleTensor: progress report on a new system for performing indicial and component tensor calculations using symbolic computation. (English) Zbl 0923.53002 Lakshman, Y. N. (ed.), Proceedings of the 1996 international symposium on symbolic and algebraic computation, ISSAC ’96, Zürich, Switzerland, July 24–26, 1996. New York, NY: ACM Press. 204-211 (1996). Reviewer: Vladimir Yu.Rovenskij (Haifa) MSC: 53-04 68W30 53A45 83-04 83C22 83F05 58A10 × Cite Format Result Cite Review PDF
Hall, G. S. (ed.); Pulham, J. R. (ed.) General relativity. Proceedings of the 46th Scottish univ. summer school in physics, Aberdeen (GB), July 1995. (English) Zbl 0871.53061 Bristol: Institute of Physics Publishing. x, 422 p. (1996). Reviewer: M.Kriele (Berlin) MSC: 53Z05 83-01 00B25 83-06 83Cxx 83B05 83F05 83-08 × Cite Format Result Cite Review PDF
MacCallum, M. A. H.; Skea, J. E. F. SHEEP: A computer algebra system for general relativity. (English) Zbl 0829.53057 MacCallum, M. A. H. (ed.) et al., Algebraic computing in general relativity. Lecture notes from the first Brazilian school on computer algebra, held in Rio de Janeiro, Brazil, July 24-August 11, 1989. Volume 2. Oxford: Oxford University Press. Oxford Science Publications. 1-172 (1994). Reviewer: V.Yu.Rovenskij (Krasnoyarsk) MSC: 53Z05 83-08 68W30 × Cite Format Result Cite Review PDF
Allen, S.; Fee, G. J.; Kachura, A. T.; Letniowski, F. W.; McLenaghan, R. G. Comparison of algorithms for the symbolic computation of the NP spin coefficients and curvature components. (English) Zbl 0790.53079 Gen. Relativ. Gravitation 26, No. 1, 21-40 (1994). MSC: 53Z05 83C60 × Cite Format Result Cite Review PDF Full Text: DOI
Oliveira, W.; Rebouças, M. J.; Teixeira, A. F. F. Topological constraints on Maxwell fields in Robertson-Walker space-times. (English) Zbl 0941.83517 Phys. Lett., A 188, No. 2, 125-129 (1994). MSC: 83C50 × Cite Format Result Cite Review PDF Full Text: DOI
Bradley, Michael; Curir, Anna Curvature properties of real one-pole solitonic perturbations on a Bianchi II background. (English) Zbl 0783.53045 Gen. Relativ. Gravitation 25, No. 6, 539-548 (1993). MSC: 53Z05 83C35 × Cite Format Result Cite Review PDF Full Text: DOI
Krasiński, Andrzej The program ORTOCARTAN for algebraic calculations in relativity. (English) Zbl 0769.53041 Gen. Relativ. Gravitation 25, No. 2, 165-177 (1993). MSC: 53Z05 83-04 53-04 × Cite Format Result Cite Review PDF Full Text: DOI
Åman, J. E.; d’Inverno, R. A.; Joly, G. C.; MacCallum, M. A. H. Quartic equations and classification of Riemann tensors in general relativity. (English) Zbl 0733.53049 Gen. Relativ. Gravitation 23, No. 9, 1023-1055 (1991). MSC: 53B50 83C20 83-04 × Cite Format Result Cite Review PDF Full Text: DOI
Seixas, Wladimir Extensions to the computer-aided classification of the Ricci tensor. (English) Zbl 0732.53016 Classical Quantum Gravity 8, No. 8, 1577-1585 (1991). MSC: 53B30 83-04 53-04 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Joly, G. C.; MacCallum, M. A. H. Computer-aided classification of the Ricci tensor in general relativity. (English) Zbl 0693.53032 Classical Quantum Gravity 7, No. 4, 541-556 (1990). Reviewer: G.S.Hall MSC: 53B50 83C20 53B20 × Cite Format Result Cite Review PDF Full Text: DOI
Konkowski, D. A.; Helliwell, T. M. Singularities in colliding gravitational plane-wave spacetimes. (English) Zbl 0688.53035 Classical Quantum Gravity 6, No. 12, 1847-1854 (1989). Reviewer: L.M.Sokolowski MSC: 53B50 83C75 83C35 × Cite Format Result Cite Review PDF Full Text: DOI
Hoenselaers, Cornelius; Skea, James E. F. Generating solutions of Einstein’s field equations by typing mistakes. (English) Zbl 0675.53056 Gen. Relativ. Gravitation 21, No. 1, 17-20 (1989). Reviewer: H.Stephani MSC: 53B50 83C15 83C20 × Cite Format Result Cite Review PDF Full Text: DOI
Cerdonio, M. (ed.); Cianci, R. (ed.); Francaviglia, M. (ed.); Toller, M. (ed.) General relativity and gravitational physics. Proceedings of the 8th Italian conference, held in Cavalese, Italy, August 30 – September 3, 1988. (English) Zbl 0912.00031 Teaneck, NJ: World Scientific Publishing. xiv, 634 p. (1989). MSC: 00B25 83-06 53Z05 × Cite Format Result Cite Review PDF
Araujo, M. E.; Skea, James E. F. Automorphisms in action: Spatially homogeneous Einstein-Maxwell plane waves. (English) Zbl 0647.53063 Classical Quantum Gravity 5, No. 8, 1073-1096 (1988). MSC: 53B50 83-04 83C35 × Cite Format Result Cite Review PDF Full Text: DOI
Joly, G. C. The verification of Killing tensor components for metrics in general relativity using the computer algebra system SHEEP. (English) Zbl 0614.53027 Gen. Relativ. Gravitation 19, 841-845 (1987). MSC: 53B30 53B50 53-04 × Cite Format Result Cite Review PDF Full Text: DOI
Hodgkinson, D. E. Type D empty space-times of embedding class 2. (English) Zbl 0605.53036 Gen. Relativ. Gravitation 19, 253-267 (1987). MSC: 53B50 83C20 × Cite Format Result Cite Review PDF Full Text: DOI
MacCallum, M. A. H.; Åman, J. E. Algebraically independent \(n\)th derivatives of the Riemannian curvature spinor in a general spacetime. (English) Zbl 0603.53036 Classical Quantum Gravity 3, 1133-1141 (1986). MSC: 53B50 53B30 83C05 × Cite Format Result Cite Review PDF Full Text: DOI
Gragert, P. K. H.; Kersten, P. H. M.; Martini, R. Symbolic computations in applied differential geometry. (English) Zbl 0539.68026 Acta Appl. Math. 1, 43-77 (1983). MSC: 68W30 53B99 35N99 × Cite Format Result Cite Review PDF Full Text: DOI
D’Inverno, R. A.; Frick, I. Interacting with SHEEP. (English) Zbl 0492.53001 Gen. Relativ. Gravitation 14, No. 10, 835-863 (1982). MSC: 53-04 53B30 68T15 83-04 × Cite Format Result Cite Review PDF Full Text: DOI
Karlhede, Anders; Aman, Jan E. Inequivalent metrics with equal spin coefficients. (English) Zbl 0481.53020 Gen. Relativ. Gravitation 14, 49-52 (1982). MSC: 53B30 53B50 × Cite Format Result Cite Review PDF Full Text: DOI
D’Inverno, R. A.; Smallwood, J. A note on a family of type \(\{3,1\}\) vacuum solutions with twist. (English) Zbl 0414.53015 Gen. Relativ. Gravitation 9, 215-225 (1978). MSC: 53B30 53B50 83C15 × Cite Format Result Cite Review PDF Full Text: DOI
Campbell, S. J.; Wainwright, J. Algebraic computing and the Newman-Penrose formalism in general relativity. (English) Zbl 0417.53012 Gen. Relativ. Gravitation 8, 987-1001 (1977). MSC: 53B30 53C05 53A45 53C27 90C90 × Cite Format Result Cite Review PDF Full Text: DOI