8
Axiom ist ein Allzweck-Computer-Algebra-System.Es ist nützlich für die Forschung und Entwicklung von mathematischen Algorithmen.Es definiert eine stark typisierte, mathematisch korrekte Typhierarchie.Es hat eine Programmiersprache und einen eingebauten Compiler.
axiom