Axiom

Axiom

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

网站:

分类目录

Web版Axiom的替代品

Wolfram Alpha

Wolfram Alpha

Wolfram Alpha是一个“计算知识引擎”，与搜索引擎不同，它通过计算结构化数据的答案直接回答事实查询。
MATLAB

MATLAB

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

Mathematica

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

Sage

Sage是根据GPL许可的免费开源数学软件系统。它将许多现有开放源代码软件包的功能组合到基于Python的通用界面中。
Mathomatic

Mathomatic

Mathomatic是一个免费，便携式的通用计算机代数系统（CAS），可以自动求解，区分，简化，组合和比较代数方程式...