# 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-uk: <trans>
 Axiom — система комп’ютерної алгебри, корисна для дослідження й розробки
 математичних алгоритмів. Підтримує строгу типізацію, математично точну
 ієрархію типів. Є мова програмування й компілятор.
 .
 Axiom розроблявся з 1973 року і був комерційним продуктом. Зараз це вільне
 програмне забезпечення.
 .
 Плани з розвитку Axiom включають:
  1. Створення кращого графічного інтерфейсу
  2. Розвиток програми як навчального інструменту
  3. Створення спеціального серверного протоколу для алгебри
  4. Розширення набору математичних функцій
  5. Перебудувати вбудовану алгебру у більш „грамотному“ стилі програмування
  6. Інтеграція з логічним програмуванням
  7. Створення модерованого журналу Axiom.
 .
 <trans>

# other Descriptions of the axiom-tex package with a translation in uk:
#