雷思软件

一款专为 Windows 设计的快速灵活的键盘启动器。无需安装（便携式）。支持通过 Python3 插件扩展。

提供 155 个替代方案

覆盖机器学习和神经网络、数据科学、可视化等领域的完整技术计算系统。

提供 74 个替代方案

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

提供 62 个替代方案

Cerebro 是一个开源且免费的基于电子的生产力软件，可作为 Alfred 和 Spotlight 的替代品。它专注于快速响应和良好的用户界面与用户体验。在大多数情况下，你甚至不需要打开其他应用程序，因为结果可以直接在 Cerebro 中看到，就像使用 Google 一样。

提供 61 个替代方案

Symbolab：方程搜索与数学求解器——逐步求解代数、三角学和微积分问题

提供 33 个替代方案

MathStudio（原名SpaceTime）是目前移动设备上功能最全面的数学应用。无论您需要一个简单的计算器来处理财务，还是需要替代您的TI图形计算器，MathStudio都是目前市场上功能最强大、最灵活的计算器。

提供 51 个替代方案

专为 Android 设计的计算器，具备微积分、代数、二维/三维绘图及其他功能。

Z3 是来自微软研究院的定理证明器。

Maple Flow 是一款数学工具，使工程师能够轻松地进行设计计算的头脑风暴、开发和文档记录。它结合了简单直观的自由界面和强大的数学引擎，提供一种类似白板的环境，能够自动保存……