SHEEP is one of the earliest symbolic computation systems. A computer algebra system ( CAS) is a software program that facilitates Symbolic mathematics. It is specialized for computations with tensors, and was designed for the needs of researchers working with general relativity and other theories involving extensive tensor calculus computations. History The word tensor was introduced in 1846 by William Rowan Hamilton to describe the norm operation in a certain type of algebraic system (eventually General relativity or the general theory of relativity is the geometric theory of Gravitation published by Albert Einstein in 1916
SHEEP is an open source freeware package (copyrighted, but free for educational and research use). Open source is a development methodology which offers practical accessibility to a product's source (goods and knowledge Freeware is computer Software that is available for use at no cost or for an optional fee
The name "SHEEP" is pun on the Lisp Algebraic Manipulator or LAM on which SHEEP is based. The package was written by Inge Frick, using earlier work by Ian Cohen and Ray d'Inverno. Jan E. Åman wrote an important package in SHEEP to carry out the Cartan-Karlhede algorithm. One of the most fundamental problems of Riemannian geometry is this given two Riemannian manifolds of the same dimension how can one tell if they are locally isometric Unfortunately, this software works only on certain rather old computers and old and proprietary operating systems.
A more recent version of SHEEP, written by Jim Skea, runs under Cambridge Lisp, which is also used for REDUCE.