公理は、汎用のコンピューター代数システムです。それは数学的なアルゴリズムの研究と開発に適しています。それは強く型付けされた、数学的に正しいタイプの階層を定義します。プログラミング言語と内蔵コンパイラを持ちます。
