ORTHOCARTAN

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