Axiom

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

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

由PTC公司开发的工程计算软件，用于执行和共享复杂计算，推动产品开发中的创新与效率，便于数据的分析与共享。可与CAD集成，并支持自定义函数。

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

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

Chapel 是一种为大规模高效并行计算而设计的编程语言。

Scilab 是用于数值计算的免费开源软件，为工程和科学应用提供强大的计算环境。Scilab 包含数百个数学函数。

Python(x,y) 是一个基于 Python 编程语言和 Qt 图形用户界面的免费科学与工程开发软件，用于数值计算、数据分析和数据可视化。