Maxima
上述のように、Maxima は GNU Common Lisp への移植から開発が始まったが、その後 CLISP やCMU Common Lisp (CMUCL) でも動作するように改良されている。V5.9 以降は、CLISP や CMUCL が標準になっている。
Maxima は、文法的には ALGOL に、意味的には Lisp にそれぞれ類似のプログラム言語を備えており、プログラミングや計算機代数の教育用としても使えるようになっている。
またMaxima は、他の数式処理システムと同様に高度な記号処理機能を備えており、有理数や多倍長整数、多倍長浮動小数点の演算を可能にしている。浮動小数点数や配列の処理をより効率の良い FORTRAN などで処理するためのプログラム書き出しもサポートされている。
Maxima をグラフィカルユーザーインターフェースから操作するためのフロントエンドとして、TeX と Emacs の発想を受け継いだGNU TeXmacs、wxWidgets に基づいた wxMaxima、Emacs 用のパッケージ imaxima などがある。