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