mathematics, tool A system for symbolic mathematics,

especially General Relativity, written by A. Krasinski of

Warsaw in the early 1980s.