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