Pakiet: axiom (20170501-14 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-13) [alpha]

  Uniwersalny system algebry komputerowej: wygenerowane tekstowe bazy danych

  dep: axiom-databases (= 20170501-14) [nie alpha]

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

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

  dep: libc6 (>= 2.40) [loong64, 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

• 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-14	43 225,3 KiB	310 260,0 KiB	[lista plików]
arm64	20170501-14	42 717,4 KiB	316 895,0 KiB	[lista plików]
armel	20170501-14	40 673,2 KiB	234 988,0 KiB	[lista plików]
armhf	20170501-14	42 660,8 KiB	231 766,0 KiB	[lista plików]
hppa (port nieoficjalny)	20170501-14	47 660,6 KiB	267 773,0 KiB	[lista plików]
i386	20170501-14	40 714,7 KiB	228 484,0 KiB	[lista plików]
loong64 (port nieoficjalny)	20170501-14	53 195,1 KiB	457 583,0 KiB	[lista plików]
m68k (port nieoficjalny)	20170501-14	44 448,5 KiB	274 493,0 KiB	[lista plików]
mips64el	20170501-14	44 766,1 KiB	331 679,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	20170501-14	42 289,6 KiB	338 267,0 KiB	[lista plików]
ppc64el	20170501-14	43 340,3 KiB	362 364,0 KiB	[lista plików]
riscv64	20170501-14	111 046,6 KiB	1 440 236,0 KiB	[lista plików]
s390x	20170501-14	43 453,0 KiB	310 137,0 KiB	[lista plików]
sh4 (port nieoficjalny)	20170501-14	39 408,7 KiB	219 878,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	20170501-14	41 359,4 KiB	336 978,0 KiB	[lista plików]
x32 (port nieoficjalny)	20170501-14	43 020,4 KiB	254 181,0 KiB	[lista plików]