cs2054 - Symbolic Computer Algebra Systems, Mathematical Proof Assistants, and other Mathematical Engines
A collection software packages for manipulation of Mathematical Symbology with the aid of a computer. Many of the packages also have impressive numerical capabilities, but this is not the emphasis of this collection. Copyright 2006 Edition Arnold Kochman. Other copyrights apply,including but not limited to the GNU Public License. Users will need one of the commonly available unzip type utilities, such as PKUNZIP or WinZip, tar for Linux, etc. Programs are distributed with source, when appropriate, and some programs in C, for example, will have to be compiled. The various packages are at different levels of maturity and sophistication, and naturally I cannot certify that they are all worthwhile for any particular purpose.
More detailed information can be found at
http://www.geruva.com/products/cs2054.html
