# 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
# This Description is owned
# 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-pl: Uniwersalny system algebry komputerowej: plik stylu do TeX-a
 Axiom jest przydatny do badania i opracowywania algorytmów matematycznych.
 Definiuje silnie typowaną i matematycznie poprawną hierarchię typów.
 Posiada własny język programowania i wbudowany kompilator.
 .
 Axiom jest rozwijany od 1973 roku i był przez pewien czas sprzedawany jako
 produkt komercyjny. Ostatecznie został wydany jako wolne oprogramowanie.
 .
 Obecnie trwają prace nad rozszerzeniem funkcjonalności programu,
 ukierunkowane na: stworzenie lepszego interfejsu użytkownika, dostosowanie
 go do roli przydatnego narzędzia nauczania, opracowanie protokołu
 algebraicznego serwera, zintegrowanie innych aspektów matematyki,
 przebudowanie algebry w czytelnym stylu programowania, zintegrowanie
 programowania logicznego oraz opracowanie "Axiom Journal" z odpowiednich
 artykułów.
 .
 Pakiet zawiera plik stylu do TeX-a, użyteczny przy publikowaniu wyników
 uzyskanych z programu Axiom.

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