Pakiet: axiom (20170501-13)

[ Pakiet źródłowy: axiom  ]

Uniwersalny system algebry komputerowej: główny program i moduły

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 główny program wykonywalny oraz wszystkie prekompilowane i automatycznie wczytywane moduły algebry.

Znaczniki: Rozwój oprogramowania: Kompilator, Interpretery, Dziedzina: field::mathematics, implemented-in::lisp, Interfejs użytkownika: Wiersz poleceń, interface::text-mode, role::program, Zakres: Narzędzie

Inne pakiety związane z axiom

• dep: axiom-databases (= 20170501-13)

  Uniwersalny system algebry komputerowej: wygenerowane tekstowe bazy danych

• dep: libc6 (>= 2.38)

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: libedit2 (>= 2.11-20080614-0)

  Biblioteka do edytowania wiersza poleceń i historii

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Biblioteka działań arytmetycznych z dużą dokładnością

• dep: libtirpc3t64 (>= 1.0.2)

  Niezależna od warstwy transportowej biblioteka RPC

• dep: libx11-6

  Biblioteka X11 po stronie klienta

• rec: axiom-doc

  Uniwersalny system algebry komputerowej: dokumentacja

• rec: axiom-graphics

  Uniwersalny system algebry komputerowej: podsystem graficzny

• rec: axiom-hypertex

  Uniwersalny system algebry komputerowej: podsystem hipertekstowy

• rec: axiom-source

  Uniwersalny system algebry komputerowej: pliki źródłowe

• sug: axiom-test

  Uniwersalny system algebry komputerowej: wejścia do testowania regresji

• sug: axiom-tex

  Uniwersalny system algebry komputerowej: plik stylu do TeX-a

• sug: nowebm

  Pakiet niedostępny

• sug: texmacs

  WYSIWYG scientific text editor using TeX fonts

Pobieranie axiom

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
armel	40 701,3 KiB	234 606,0 KiB	[lista plików]