The Free On-line Dictionary of Computing (30 December 2018):

ORTHOCARTAN

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

   (1995-04-12)