Theoretical shareware, demo, freeware, software downloads, downloadable, downloading page 3 -

CompactCalc

... which is particularly useful for educational purposes and theoretical research. The symbolic computation feature complements the numerical capabilities of CompactCalc, providing a well-rounded tool for a variety of mathematical tasks. ...