Source : Free On-Line Dictionary of Computing

ORTHOCARTAN
     
         A system for {symbolic mathematics},
        especially General Relativity, written by A. Krasinski of
        Warsaw in the early 1980s.
     
        (1995-04-12)