计算机代数系统 Maxima

Maxima是一种用Common Lisp开发的计算机代数系统（或符号计算系统），用于公式推导、符号计算、数值计算等。

类似的商业产品有美国Wolfram Research公司的Mathematica、加拿大滑铁卢大学的Maple（其计算机代数系统核心作为Matlab的符号计算系统）等等。