(language) A language for symbolic mathematics, especially General Relativity.
Last updated: 1994-10-28