OVEJAS (sistema de cómputo simbólico)


SHEEP es uno de los primeros sistemas interactivos de computación simbólica . Está especializado en cálculos con tensores y fue diseñado para las necesidades de los investigadores que trabajan con la relatividad general y otras teorías que involucran cálculos extensos de cálculo de tensores. [1] [2]

El nombre "SHEEP" es un juego de palabras con el manipulador algebraico Lisp o LAM en el que se basa SHEEP. El paquete fue escrito por Inge Frick, utilizando trabajos anteriores de Ian Cohen y Ray d'Inverno , quienes habían escrito ALAM - Atlas LISP Algebraic Manipulation anteriormente (diseñado en 1970). [4] [5] SHEEP era un paquete informático interactivo , mientras que LAM y ALAM eran lenguajes de procesamiento por lotes . [6]

Jan E. Åman escribió un paquete importante en SHEEP para llevar a cabo el algoritmo de Cartan-Karlhede . Una versión más reciente de SHEEP, escrita por Jim Skea, se ejecuta bajo Cambridge Lisp, que también se usa para REDUCE .