雷思软件

支持数值计算、可视化、矩阵运算、算法开发、自定义接口、与外部语言集成、符号及基于模型的仿真，以及工程等领域专用工具箱的高级环境。

提供 87 个替代方案

SciPy 是在 NumPy 基础上构建的一组数学算法和便捷函数。它通过为用户提供了处理和可视化数据的高级命令和类，显著增强了 Python 的功能。

提供 47 个替代方案

Maxima 是一个用于符号和数值表达式操作的系统，支持微分、积分、泰勒级数、拉普拉斯变换、常微分方程、线性方程组、多项式以及集合、列表、向量、矩阵和张量等操作。

提供 31 个替代方案

wxMaxima 是一个基于文档的 Maxima 计算代数系统界面。wxMaxima 提供了众多常用 Maxima 命令的菜单和对话框，支持自动补全、内联绘图和简单动画。

提供 40 个替代方案

由PTC公司开发的工程计算软件，用于执行和共享复杂计算。推动产品开发中的创新与生产力，便于进行数据的分析与共享。可与CAD系统集成，并支持自定义功能。

提供 39 个替代方案

Axiom 是一个通用的计算机代数系统，可用于数学算法的研究与开发。它定义了一个强类型、数学上正确的类型层次结构，具备编程语言和内置编译器。

Cadabra 是一个专为解决场论中遇到的问题而设计的计算机代数系统（CAS）。它在张量计算机代数、张量多项式简化（包括多项式对称性）、费米子和反交换等方面具有广泛的功能。

NumPy 是 Python 科学计算的基础包。它是一个 Python 库，提供了多维数组对象、各种衍生对象（如掩码数组和矩阵），以及用于对数组进行快速运算的大量函数，包括……

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

FriCAS 是一个先进的计算机代数系统，其功能涵盖微积分（积分与求导）到抽象代数等多个领域。它能够绘制函数图形，并具备内置的帮助系统。

Altair Compose 用于执行各种数学和线性代数运算（包括矩阵分析和微分方程），信号滤波，通过数据拟合多项式，对仿真软件的结果进行近似或验证，以及进行优化。

MathJournal 是一款专为平板电脑设计的交互式程序，为解决数学和工程问题提供了自然且直观的环境。MathJournal 可识别手写数学表达式，并显示与之相关的解决方案类型列表……

一种专为解决代数、数论、几何和组合学领域中计算上困难的问题而设计的软件包。

Nsp 是一个 GPL 科学软件包。它基于 ScilabGtk 的完全重新编写。