软件
Axiom 是一个通用的计算机代数系统，可用于数学算法的研究与开发。它定义了一个强类型、数学上正确的类型层次结构，具备编程语言和内置编译器。
访问软件的官方网站了解更多信息
www.axiom-developer.org
Axiom 是一个通用的计算机代数系统，适用于数学算法的研究与开发。它定义了一个强类型、数学上正确的类型层次结构，具备编程语言和内置编译器。
