The Free On-line Dictionary of Computing (19 January 2023):

SymbMath

    A small symbolic mathematics package for
   MS-DOS which can learn new facts.

   (Home (http://symbmath.com/).

   (2001-03-26)