PTC Mathcad

SMath Studio 是一款具有“纸张”式界面和多种计算功能的数学软件。它能够处理系统、矩阵、向量、复数、无穷大和分数。SMath Studio 内置了综合数学参考书。

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

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

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

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

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

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

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