Mathematica

在线数学求解器、方程编辑器与数据库、图形计算器及科学/工程问题助手。

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

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

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

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

SymPy 是一个用于符号计算的 Python 库。该库的目标是成为一个功能完整的计算机代数系统，并保持简洁的代码库以促进可扩展性和可读性。

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

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