GiNaC

Maxima 是一个用于符号和数值表达式操作的系统，包括微分、积分、泰勒级数、拉普拉斯变换、常微分方程、线性方程组、多项式，以及集合、列表、向量、矩阵和张量。

Xcos 是一个用于设计混合动态系统模型的图形化编辑器。可以设计、加载、保存、编译和仿真模型。

涵盖机器学习与神经网络、数据科学、可视化等领域的权威技术计算系统。

SageMath 是一款采用 GPL 许可证的免费开源数学软件系统。它基于众多现有的开源软件包构建，包括 NumPy、SciPy、matplotlib、Sympy、Maxima、GAP、FLINT、R 等众多软件。

Maple 是一个通用的商业计算机代数系统。用户可以用传统的数学符号输入数学表达式。还可以创建自定义用户界面。系统支持任意精度的数值计算，以及符号计算……

wxMaxima 是计算机代数系统 Maxima 的基于文档的界面。wxMaxima 为许多常见的 Maxima 命令提供了菜单和对话框、自动补全、内联绘图和简单动画功能。

Axiom 是一个通用的计算机代数系统，适用于数学算法的研究与开发。它定义了一个强类型且数学上正确的类型层次结构，并配备了一种编程语言和内置编译器。

Octave 是一个用于执行数值计算的计算机程序，与 MATLAB 兼容度很高，属于 GNU 项目的一部分，是根据 GNU 通用公共许可证条款发布的自由软件。