Mathematica

CADWOLF 是一个基于网页的协作工程平台。可创建包含公式、图表、循环等的文档，并直接链接至CAD模型，支持在零件树中构建结构。您只需一个网络浏览器即可使用。

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

ANKHOR 是一个革命性的平台，用于对来自不同来源且格式多变的数据进行内存中处理。

Singular 是一个开源的多项式计算计算机代数系统，特别强调交换与非交换代数、代数几何和奇点理论。

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

VisSim™ 是一种用于建模和仿真非线性动态系统的可视化语言。它提供 9 种积分方法、4 种优化方法以及 200 多种向量和标量模块函数。

FreeMat 是一个用于快速工程和科学计算的环境。它类似于 Mathworks 公司的 MATLAB 和 Research Systems 公司的 IDL 等商业系统，但它是开源的。