Maxima是一个功能强大的计算机代数系统（Computer Algebra System, CAS），它用LISP语言编写并以GNU通用公共许可证发布，使其成为自由软件的一部分。Maxima不仅用于公式推导、符号计算，还支持数值计算，绘图以及算法开发等多种数学任务。   Maxima能够处理符号和数值表达式，包括微分、积分、泰勒级数、拉普拉斯变换、解常微分方程和线性方程组、多项式运算，以及