<mathematics, tool> A system for symbolic mathematics, especially General Relativity, written by A. Krasinski of Warsaw in the early 1980s.
(12 Apr 1995)