# Source: axiom # Package: axiom-tex # Versions: axiom-tex (20120301-1), axiom-tex (20120301-2), axiom-tex (20120301-3), axiom-tex (20120501-1), axiom-tex (20120501-10), axiom-tex (20120501-11), axiom-tex (20120501-12), axiom-tex (20120501-13), axiom-tex (20120501-14), axiom-tex (20120501-16), axiom-tex (20120501-17), axiom-tex (20120501-18), axiom-tex (20120501-2), axiom-tex (20120501-8), axiom-tex (20120501-9), axiom-tex (20140801-1), axiom-tex (20140801-10), axiom-tex (20140801-11), axiom-tex (20140801-12), axiom-tex (20140801-2), axiom-tex (20140801-3), axiom-tex (20140801-4), axiom-tex (20140801-5), axiom-tex (20140801-6), axiom-tex (20140801-7), axiom-tex (20140801-8), axiom-tex (20140801-9), axiom-tex (20170401-1), axiom-tex (20170401-2), axiom-tex (20170401-3), axiom-tex (20170501-1), axiom-tex (20170501-10), axiom-tex (20170501-11), axiom-tex (20170501-12), axiom-tex (20170501-13), axiom-tex (20170501-14), axiom-tex (20170501-15), axiom-tex (20170501-2), axiom-tex (20170501-3), axiom-tex (20170501-4), axiom-tex (20170501-5), axiom-tex (20170501-6), axiom-tex (20170501-9), axiom-tex (20210105dp1-1), axiom-tex (20210105dp1-3), axiom-tex (20210105dp1-4), axiom-tex (20210105dp1-5), axiom-tex (20210105dp1-6) # This Description is active # Prioritize: 49 Description: General purpose computer algebra system: style file for TeX Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains a TeX style file useful in publishing results obtained with Axiom. Description-ru: Axiom - система компьютерной алгебры, полезная для исследования и разработки математических алгоритмов. Поддерживает строгую типизацию, математически строгую иерархию типов. Имеется язык программирования и компилятор. . Axiom разрабатывался с 1973 года и был коммерческим продуктом. Сейчас это свободное программное обеспечение. . Планы по развитию Axiom включают: 1. Создание лучшего графического интерфейса 2. Развитие программы как учебного инструмента 3. Создание специального серверного протокола для алгебры 4. Расширение набора математических функций 5. Сделать встроенный язык программирования более «культурным» 6. Интеграция с логическим программированием 7. Создание модерируемого журнала Axiom. . # other Descriptions of the axiom-tex package with a translation in ru: #