Source : Free On-Line Dictionary of Computing

SymbMath
     
         A small {symbolic mathematics} package for
        {MS-DOS} which can learn new facts.
     
        Latest version: 2.1.1.
     
        {(Home (http://www.symbmath.com/)}.
     
        (2001-03-26)