Mathematica

Xcos 是一个用于设计混合动态系统模型的图形化编辑器。可以设计、加载、保存、编译和仿真模型。

WIRIS CAS 是一款专为教育设计的在线数学计算平台。您可以通过一个HTML页面访问功能强大的计算工具栏，实现积分与极限计算、二维或三维函数绘图以及符号矩阵运算等功能。

派生 6.1：用于符号和数值数学的强大系统。此应用程序已不再可用或受支持。

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

Chapel 是一种为大规模高效并行计算而设计的编程语言。

使用 Grapher，您可以在 Mac 上实时绘制方程和数据集，并可视化结果。Grapher 可在二维和三维空间中显示代数关系，包括显式和隐式关系。您可以使用多种坐标系，并从广泛的数学...

代数问题的免费逐步解答。

光束器是一个建模与仿真平台，供工程师以可靠、安全、快速且直观的方式设计和测试复杂的关键任务系统。