雷思软件

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