Pakiet: axiom-tex (20170501-12)

[ Pakiet źródłowy: axiom  ]

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.

Znaczniki: Dziedzina: Matematyka, Interfejs użytkownika: Interaktywny interfejs tekstowy, Rola: Dane aplikacji, role::program, works-with-format::tex, Działa z: Tekst

Inne pakiety związane z axiom-tex

• dep: tex-common (>= 6.13)

  Wspólna infrastruktura do budowy i instalacji systemu TeX

• dep: texlive-latex-recommended

  TeX Live: LaTeX recommended packages

Pobieranie axiom-tex

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	173,7 KiB	254,0 KiB	[lista plików]