Axiom

Axiom

公理是通用的计算机代数系统。对于研究和开发数学算法很有用。
公理是通用的计算机代数系统。对于研究和开发数学算法很有用。它定义了强类型的，数学上正确的类型层次结构。它具有编程语言和内置编译器。

网站:

分类目录

具有商业许可的所有平台的Axiom替代品

MATLAB

MATLAB

企业级计算环境和用于数字计算的编程语言。
Mathematica

Mathematica

权威的技术计算系统，涵盖了机器学习和神经网络，数据科学，可视化等等。
Maple

Maple

Maple是通用的商用计算机代数系统。用户可以使用传统的数学符号输入数学。还可以创建自定义用户界面。