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

提供 38 个替代方案