Mathematica

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

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

JetBrains DataSpell 是一款面向数据科学的集成开发环境，具备智能 Jupyter 笔记本、交互式 Python 脚本以及众多其他内置工具。

Calca 是一款功能强大的符号计算器，输入时实时更新，即时给出答案。它能解方程并简化复杂表达式。同时，它还是一个功能丰富的 Markdown 文本编辑器，可让你在计算的同时解释自己的思路。

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

使用 Euler 数学工具箱，您能轻松而优美地进行数学计算，无论是数值计算还是符号计算。

一个用于求解代数、数论、几何和组合数学中计算难题的软件包。