Mathics

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

Calcpad 是一个轻量级的数学平台，适用于云和桌面端。它可解析简单的文本脚本，并将其转换为专业的 HTML 报告。支持复数、变量、函数、绘图、单位及数值方法。

MathStudio（前身为SpaceTime）是目前移动设备上功能最全面的数学应用程序。无论您需要一个简单的计算器来处理财务，还是想用它替代您的TI图形计算器，MathStudio都是当前移动设备上功能最强大、用途最广泛的计算器……

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

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

OpenAxiom 是 Axiom 的一个分支，是一个开源的符号、代数和数值计算平台。它提供交互式环境、表达力强的编程语言、编译器以及大量数学库……

用于数学建模、非线性方程和优化问题的开源软件，支持动态系统和大规模模型，提供命令行和图形界面，具备专用建模语言和先进的求解器架构。

Wolfram语言是一种符号语言，专为具备开发强大程序所需的广度和统一性而设计。通过集成高级形式（如Image、GeoPolygon或Molecule）以及先进的超函数（如ImageIdentify或...）