Pakiet: axiom (20210105dp1-1 i inne)

Odnośniki dla axiom

Zasoby systemu Debian:

Pobieranie pakietu źródłowego axiom:

Opiekun:

Camm Maguire (Strona QA)

Podobne pakiety:

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

wymaga

poleca

sugeruje

enhances

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

Uniwersalny system algebry komputerowej: wygenerowane tekstowe bazy danych

dep: axiom-databases (= 20210105dp1-1) [nie hppa]
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.41) [loong64, sh4]
dep: libc6.1 (>= 2.38) [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 (>= 4.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)	20210105dp1-1	62 709,3 KiB	1 120 306,0 KiB	[lista plików]
amd64	20210105dp1-1	64 488,2 KiB	1 125 434,0 KiB	[lista plików]
arm64	20210105dp1-1	63 747,1 KiB	1 121 615,0 KiB	[lista plików]
armel	20210105dp1-1	54 786,8 KiB	672 372,0 KiB	[lista plików]
armhf	20210105dp1-1	55 529,5 KiB	663 862,0 KiB	[lista plików]
hppa (port nieoficjalny)	20170501-14	47 660,6 KiB	267 773,0 KiB	[lista plików]
i386	20210105dp1-1	56 358,4 KiB	673 402,0 KiB	[lista plików]
loong64 (port nieoficjalny)	20210105dp1-1	77 041,5 KiB	1 295 140,0 KiB	[lista plików]
m68k (port nieoficjalny)	20210105dp1-1	54 467,7 KiB	663 042,0 KiB	[lista plików]
mips64el	20210105dp1-1	64 778,1 KiB	1 136 984,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	20210105dp1-1	63 056,4 KiB	1 146 662,0 KiB	[lista plików]
ppc64el	20210105dp1-1	63 031,2 KiB	1 151 473,0 KiB	[lista plików]
riscv64	20210105dp1-1	121 891,7 KiB	2 125 337,0 KiB	[lista plików]
s390x	20210105dp1-1	64 532,4 KiB	1 116 346,0 KiB	[lista plików]
sh4 (port nieoficjalny)	20210105dp1-1	52 138,8 KiB	530 694,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	20210105dp1-1	79 358,5 KiB	1 341 448,0 KiB	[lista plików]
x32 (port nieoficjalny)	20210105dp1-1	60 271,0 KiB	700 711,0 KiB	[lista plików]