(mathematics, tool) A small symbolic mathematics package for MS-DOS which can learn new facts.
Last updated: 2001-03-26