Аксиома - это компьютерная алгебраическая система общего назначения. Это полезно для исследования и разработки математических алгоритмов. Он определяет строго типизированную, математически корректную иерархию типов. Он имеет язык программирования и встроенный компилятор.
    Сайт приложения

    Аналоги и альтернативы Axiom

    Наиболее популярные альтернативы и аналоги Axiom для Mac, Linux.