Derive

GiNaC 是一个 C++ 库。它旨在支持创建集成系统，将符号计算与计算机科学的其他成熟领域（如计算密集型数值应用、图形界面等）统一整合在一起。

Statwing 由分析师开发并专为分析师打造，您可在几分钟内完成数据清洗、关系探索和图表创建，而非耗时数小时。只需上传您的电子表格或数据集，然后选择想要探索的关系即可。

Reinteract 是一个用于 Python 交互式实验的系统。Reinteract 工作表包含 Python 代码及其结果，结果以文本或图形化图表的形式展示。您可以返回并编辑之前输入的语句，结果将随之更新。

Nerdamer 是一个用 JavaScript 编写的轻量级符号数学表达式求值器。解析完全在 JavaScript 中进行，无需任何服务器端程序。它可以导出为纯 JavaScript 函数，非常适合用于过滤用户输入。

使用 YAKINDU Statechart Tools，您可以轻松以可视化方式创建复杂系统。在建模过程中即可模拟和测试系统的行为。

Math Notepad 是一个基于网页的编辑器，可用来进行数学计算和绘制图表。它支持实数、复数、矩阵和单位，并内置了所有常见的数学函数。