CADWOLF

软件

CADWOLF 是一个基于网络的协同工程平台。您可以创建包含公式、图表、循环等元素的文档，并通过直接链接访问 CAD 模型，配合结构部件树构建功能。您只需一个网络浏览器即可使用。

Swift Calcs

软件

★4.5

专为现代工程打造的协作计算笔记本。像纸上一样输入数学公式，即时获得结果，并与同事和客户共享你的计算过程。无需特殊语法，无需软件，无需烦恼，绝无开玩笑。

ANKHOR FlowSheet

电子表格应用

★4

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

Singular

软件

Singular 是一个开源的计算机代数系统，主要用于多项式计算，特别侧重于交换代数、非交换代数、代数几何和奇点理论。

GAP

软件

GAP 是一个用于计算离散代数的系统，尤其侧重于计算群论。GAP 提供了一种编程语言，包含成千上万的函数库，这些函数以 GAP 语言实现代数算法，以及大量数据库……

VisSim

软件

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

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

Freemat

软件

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