8
Axiom е система за компютърна алгебра с общо предназначение.Полезно е за изследване и разработване на математически алгоритми.Той определя силно типизирана, математически правилна йерархия.Той има език за програмиране и вграден компилатор.
axiom