orthocartan

from The Free On-line Dictionary of Computing (8 July 2008)

ORTHOCARTAN

   <mathematics, tool> A system for {symbolic mathematics},
   especially General Relativity, written by A. Krasinski of
   Warsaw in the early 1980s.

   (1995-04-12)