雷思软件

覆盖机器学习和神经网络、数据科学、可视化等领域的完整技术计算系统。

提供 74 个替代方案

SageMath 是一个基于 GPL 许可证的免费开源数学软件系统。它建立在众多现有的开源软件包之上，包括 NumPy、SciPy、matplotlib、Sympy、Maxima、GAP、FLINT、R 等等。

提供 62 个替代方案

GeoGebra 是一款免费的、跨平台的动态数学软件，可用于学习和教学。它已在欧洲和美国获得多项教育软件奖项。

提供 38 个替代方案

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

提供 31 个替代方案

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

提供 40 个替代方案

Maple 是一个通用的商业计算机代数系统。用户可以使用传统的数学符号输入数学表达式，还可以创建自定义的用户界面。系统支持任意精度的数值计算，以及符号计算……

提供 49 个替代方案

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

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

MathStudio（原名SpaceTime）是目前移动设备上功能最全面的数学应用。无论您需要一个简单的计算器来处理财务，还是需要替代您的TI图形计算器，MathStudio都是目前市场上功能最强大、最灵活的计算器。

提供 51 个替代方案

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

OpenAxiom 是 Axiom 的一个分支，是一个开源的符号、代数和数值计算平台。它提供了一个交互式环境、一种表达力强的编程语言、一个编译器以及一系列重要的数学库……

Mathics 是一个通用的计算机代数系统（CAS），旨在成为 Mathematica 的免费、轻量级替代品。它使用类似于 Mathematica 的语言进行编程，并通过网页界面与用户交互。

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

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

GiNaC 是一个 C++ 库。它旨在使开发者能够构建集成系统，将符号运算与计算机科学中其他成熟领域（如计算密集型数值应用、图形界面等）结合在一起，实现一体化。

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

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

又一个计算机代数系统。支持任意精度的数值计算、符号计算和可视化。

Derive 6.1：一个强大的用于符号和数值数学的系统。该应用程序已不再可用或获得支持。

提供 62 个替代方案

Geometry Expressions 是世界上首个交互式符号几何系统。使用符号约束创建几何图形，并不仅能以数值方式，还能以符号方式生成测量结果。