Maximaは、ほぼ完成されたコンピュータ代数システムです。 数式処理に重点が置かれており、Lispで書かれています。 米国エネルギー省の MACSYMA から派生し、GPLでライセンスされています。 数式の積分、三次元プロット、常微分方程式を解くといった機能があります。