SHEEP
Sheep is a computer algebra system for handling calculations of the components of tensors. Its main use has been in general relativity, but it has also been used in both solid and fluid mechanics. It was based on the Lisp Algebraic Manipulator LAM (whence the name Sheep) written by R.A. d’Inverno in the late 1960s. Sheep was written largely by Inge Frick of Stockholm (after information about LAM had been brought to Sweden by Ian Cohen who had worked with d’Inverno in London), and the first version was announced in 1977. This version was written in the assembly language MACRO-10 for DEC-10 computers.
Keywords for this software
References in zbMATH (referenced in 37 articles , 1 standard article )
Showing results 21 to 37 of 37.
Sorted by year (- Åman, J. E.; d’Inverno, R. A.; Joly, G. C.; MacCallum, M. A. H.: Quartic equations and classification of Riemann tensors in general relativity (1991)
- Seixas, Wladimir: Extensions to the computer-aided classification of the Ricci tensor (1991)
- Joly, G. C.; MacCallum, M. A. H.: Computer-aided classification of the Ricci tensor in general relativity (1990)
- 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 (1989)
- Hoenselaers, Cornelius; Skea, James E. F.: Generating solutions of Einstein’s field equations by typing mistakes (1989)
- Konkowski, D. A.; Helliwell, T. M.: Singularities in colliding gravitational plane-wave spacetimes (1989)
- Araujo, M. E.; Skea, James E. F.: Automorphisms in action: Spatially homogeneous Einstein-Maxwell plane waves (1988)
- Hodgkinson, D. E.: Type D empty space-times of embedding class 2 (1987)
- Joly, G. C.: The verification of Killing tensor components for metrics in general relativity using the computer algebra system SHEEP (1987)
- MacCallum, M. A. H.; Åman, J. E.: Algebraically independent (n)th derivatives of the Riemannian curvature spinor in a general spacetime (1986)
- Åman, J. E.; d’Inverno, R. A.; Joly, G. C.; MacCallum, M. A. H.: Quartic equations and algorithms for Riemann tensor classification (1984)
- Gragert, P. K. H.; Kersten, P. H. M.; Martini, R.: Symbolic computations in applied differential geometry (1983)
- D’Inverno, R. A.; Frick, I.: Interacting with SHEEP (1982)
- Karlhede, Anders; Aman, Jan E.: Inequivalent metrics with equal spin coefficients (1982)
- Dautcourt, G.; Jann, K.-P.; Riemer, E.; Riemer, M.: User’s guide to REDUCE subroutines for algebraic computations in general relativity (1981)
- D’Inverno, R. A.; Smallwood, J.: A note on a family of type (3,1) vacuum solutions with twist (1978)
- Campbell, S. J.; Wainwright, J.: Algebraic computing and the Newman-Penrose formalism in general relativity (1977)