8
Axiom to system algebry komputerowej ogólnego zastosowania.Jest przydatny do badań i rozwoju algorytmów matematycznych.Definiuje silnie typowaną, matematycznie poprawną hierarchię typów.Ma język programowania i wbudowany kompilator.
Stronie internetowej:
http://www.axiom-developer.org/Kategorie
