Axiom

Axiom

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

网站:

分类目录

具有任何许可的所有平台的Axiom替代品

Yacas

Yacas

另一个（通用）计算机代数系统。支持数值计算，任意精度，符号计算和可视化。
Xcos
GAP
GiNaC
Function Analyzer

Function Analyzer

参见函数图。