wszystkie opcje
bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Pakiet źródłowy: axiom  ]

Pakiet: axiom-hypertex (20210105dp1-1 i inne)

Odnośniki dla axiom-hypertex

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego axiom:

Opiekun:

Podobne pakiety:

Uniwersalny system algebry komputerowej: podsystem hipertekstowy

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 pliki binarne do podsystemu hipertekstowego. Programy z tego pakietu zapewniają interaktywny system pomocy online, opisujący wiele poleceń programu Axiom.

Znaczniki: Rozwój oprogramowania: Dokumentacja, Dziedzina: Matematyka, Interfejs użytkownika: interface::commandline, interface::text-mode, Rola: Dokumentacja, role::program, scope::utility

Inne pakiety związane z axiom-hypertex

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie axiom-hypertex

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
alpha (port nieoficjalny) 20210105dp1-1 245,3 KiB564,0 KiB [lista plików]
amd64 20210105dp1-1 251,5 KiB448,0 KiB [lista plików]
arm64 20210105dp1-1 242,9 KiB564,0 KiB [lista plików]
armhf 20210105dp1-1 241,0 KiB497,0 KiB [lista plików]
hppa (port nieoficjalny) 20170501-14 232,6 KiB409,0 KiB [lista plików]
i386 20210105dp1-1 252,2 KiB461,0 KiB [lista plików]
loong64 20210105dp1-1 250,1 KiB564,0 KiB [lista plików]
m68k (port nieoficjalny) 20210105dp1-1 218,9 KiB367,0 KiB [lista plików]
ppc64 (port nieoficjalny) 20210105dp1-1 250,4 KiB695,0 KiB [lista plików]
ppc64el 20210105dp1-1 252,7 KiB628,0 KiB [lista plików]
riscv64 20210105dp1-1 252,8 KiB404,0 KiB [lista plików]
s390x 20210105dp1-1 249,1 KiB456,0 KiB [lista plików]
sh4 (port nieoficjalny) 20210105dp1-1 239,4 KiB495,0 KiB [lista plików]
sparc64 (port nieoficjalny) 20210105dp1-1 233,4 KiB3 260,0 KiB [lista plików]
x32 (port nieoficjalny) 20210105dp1-1 247,9 KiB421,0 KiB [lista plików]