Axiom计算机代数系统 -


未知
跨平台

软件简介

Axiom是一个通用的计算机代数系统,用于研究和开发数学算法,定义了强类型的数学形式上正确的类型系统,拥有自己的编程语言和内置编译器。