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 36 articles , 1 standard article )
Showing results 1 to 20 of 36.
Sorted by year (- 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 (2018)
- Lozanovski, C.: An example of non-Weyl preserving complex transformation (2014)
- Peeters, Kasper: Cadabra: a field-theory motivated symbolic computer algebra system (2007)
- d’Inverno, R. A.: Computer algebra: from the visible to the invisible (2006)
- Karlhede, Anders: The equivalence problem (2006)
- Konkowski, D. A.; Helliwell, T. M.: Mining metrics for buried treasure (2006)
- d’Inverno, Ray A.: Applications of SHEEP in general relativity (1998)
- Portugal, R.: An algorithm to simplify tensor expressions (1998)
- Santosuosso, Kevin; Pollney, Denis; Pelavas, Nicos; Musgrave, Peter; Lake, Kayll: Invariants of the Riemann tensor for class $B$ warped product space-times (1998)
- Kavian, Masoud; McLenaghan, R. G.; Geddes, K. O.: Maple Tensor: a new system for performing indicial and component tensor calculations by computer (1997)
- Portugal, R.; Sautú, S. L.: Applications of Maple to general relativity (1997)
- Fonseca-Neto, Joel B.; Reboucas, M. J.; MacCallum, M. A. H.: Algebraic computing in torsion theories of gravitation. (1996) ioport
- Fonseca-Neto, Joel B.; Rebouças, M. J.; MacCallum, M. A. H.: Algebraic computing in torsion theories of gravitation. (1996)
- Hall, G. S. (ed.); Pulham, J. R. (ed.): General relativity. Proceedings of the 46th Scottish univ. summer school in physics, Aberdeen (GB), July 1995 (1996)
- 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 (1996)
- 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 (1994)
- MacCallum, M. A. H.; Skea, J. E. F.: SHEEP: A computer algebra system for general relativity (1994)
- Oliveira, W.; Rebouças, M. J.; Teixeira, A. F. F.: Topological constraints on Maxwell fields in Robertson-Walker space-times (1994)
- Bradley, Michael; Curir, Anna: Curvature properties of real one-pole solitonic perturbations on a Bianchi II background (1993)
- Krasiński, Andrzej: The program ORTOCARTAN for algebraic calculations in relativity (1993)