Computer Algebra System written in Common Lisp
A Portable General-Purpose Computer Algebra System
Yet another collection of WindowsXP ServicePack3 x86 binaries.
Cross platform GUI for Maxima
Maxima script for symbolic analysis of analog integrated circuits
Yamwi = Yet Another Maxima Web Interface.
Research platform for SAT and other hard problems