The Free On-line Dictionary of Computing (30 December 2018):

SymbMath

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

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

   (2001-03-26)