The Free On-line Dictionary of Computing (19 January 2023):

ORTHOCARTAN

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

   (1995-04-12)