(mathematics, tool) A system for symbolic mathematics, especially number theory.
Last updated: 1995-04-12