ORTHOCARTAN

A system for {symbolic mathematics},

especially General Relativity, written by A. Krasinski of

Warsaw in the early 1980s.

(1995-04-12)