Maxima，一个计算机代数系统。Maxima是用于操纵符号和数值表达式的系统，包括微分、积分、泰勒级数、拉普拉斯变换、普通微分方程、线性方程系统、多项式、集合、列表、向量、矩阵和张量。 Maxima通过使用精确分数、任意精度整数和可变精度浮点数生成高精度数值结果。 Maxima可以在二维和三维中绘制函数和数据。
Maxima具有用户友好的前端、在线手册、绘图命令和数学库。 用户可以用其本地编程语言编写程序，并且许多人在过去几十年中在各种领域贡献了有用的软件包。
Maxima源代码可以在许多系统上编译，包括Windows、Linux和MacOS X。.所有系统的源代码和Windows和Linux的预编译二进制文件都可以在SourceForge文件管理器中找到。
Maxima是Macsyma的后代，Macsyma是20世纪60年代末在麻省理工学院开发的传奇计算机代数系统。它是唯一基于这一成就仍然公开可用的系统，并且由于其开源性质具有活跃的用户社区。 Macsyma是革命性的，许多后来的系统，如Maple和Mathematica，都是受到它的启发。
Macsyma的Maxima分支由William Schelter从1982年开始维护，直到他2001年去世。1998年，他获得了根据GNU通用公共许可证（GPL）发布源代码的许可。正是他的努力和技能，使得Maxima的生存成为可能，非常感谢他的付出和专业知识，使DOE Macsyma源代码能够好好活着。自他去世后，一组用户和开发人员已经形成，以最大限度地扩大受众。
特性
- 专门从事符号操作，但也提供数字能力。
- 可以通过编程方式访问和扩展，因为底层的Lisp可以从它调用。
- 使用类似ALGOL的语法、Lisp类语义完成编程语言。
- 任意精度整数。
- 大小的合理数量仅受机器内存限制。
- 任意大的浮点数（“bfloats”）。