Axiom

FormulaDesk Math 是一款 Excel 插件，为 Excel 带来真正的符号数学功能。可即时以方程式形式查看公式、绘制公式……工程师和学生日常所需的所有工具，现在均已集成于 Excel 中。

专为现代工程设计的协作式计算笔记本。以纸上书写的方式输入数学表达式，即时获得结果，并与同事和客户共享计算过程。无需特殊语法，无需额外软件，无须烦恼，绝非玩笑。

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

GAP 是一个用于计算离散代数的系统，特别侧重于计算群论。GAP 提供了一种编程语言，包含数千个函数库，这些函数实现了用 GAP 语言编写的代数算法，以及大型数据资源库……

基于 Java 的开源版 MATLAB 和 Octave 随着时间推移，兼容性越来越强。

MathJournal 是一款针对平板电脑的交互式程序，为解决数学和工程问题提供了一个自然且直观的环境。MathJournal 能识别手写数学表达式，然后显示相关解题类型的列表……

iD3 是一个开源的跨平台桌面集成开发环境（IDE），用于 D3.js 开发。它旨在简化 D3 的数据可视化，配备基于 Python 的数据管理系统和自定义生成的属性控制功能。

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