Pakiet: axiom (20170501-13 i inne)

[ 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-12) [hppa]

  Uniwersalny system algebry komputerowej: wygenerowane tekstowe bazy danych

  dep: axiom-databases (= 20170501-13) [nie hppa]

• dep: libc6 (>= 2.34) [hppa]

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

  dep: libc6 (>= 2.37) [sh4]

  dep: libc6 (>= 2.38) [nie alpha, hppa, sh4]

• dep: libc6.1 (>= 2.34) [alpha]

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

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

  Biblioteka do edytowania wiersza poleceń i historii

• dep: libgcc-s1 (>= 3.0) [arm64]

  Biblioteka wspomagająca GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  Biblioteka wspomagająca GCC

• 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

• dep: libxpm4 [sparc64]

  Biblioteka piksmap do środowiska X11

• 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	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	20170501-13	43 334,5 KiB	325 647,0 KiB	[lista plików]
amd64	20170501-13	43 251,8 KiB	310 179,0 KiB	[lista plików]
arm64	20170501-13	42 701,8 KiB	316 922,0 KiB	[lista plików]
armel	20170501-13	40 701,3 KiB	234 606,0 KiB	[lista plików]
armhf	20170501-13	42 666,3 KiB	231 319,0 KiB	[lista plików]
hppa (port nieoficjalny)	20170501-12+b1	48 958,2 KiB	273 824,0 KiB	[lista plików]
i386	20170501-13	40 736,3 KiB	228 481,0 KiB	[lista plików]
m68k (port nieoficjalny)	20170501-13	44 461,3 KiB	274 485,0 KiB	[lista plików]
mips64el	20170501-13	44 738,5 KiB	331 630,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	20170501-13	42 254,8 KiB	360 965,0 KiB	[lista plików]
ppc64el	20170501-13	43 356,4 KiB	362 304,0 KiB	[lista plików]
riscv64	20170501-13	110 873,3 KiB	1 440 352,0 KiB	[lista plików]
s390x	20170501-13	43 420,5 KiB	310 061,0 KiB	[lista plików]
sh4 (port nieoficjalny)	20170501-13	43 217,9 KiB	231 428,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	20170501-13	41 391,8 KiB	336 942,0 KiB	[lista plików]
x32 (port nieoficjalny)	20170501-13	43 036,1 KiB	254 150,0 KiB	[lista plików]