Pakiet: axiom-hypertex (20170501-13)
Odnośniki dla axiom-hypertex
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek 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.
Inne pakiety związane z axiom-hypertex
|
|
|
|
-
- dep: axiom (= 20170501-13)
- Uniwersalny system algebry komputerowej: główny program i moduły
-
- dep: axiom-hypertex-data (= 20170501-13)
- Uniwersalny system algebry komputerowej: podsystem hipertekstowy
-
- dep: libc6 (>= 2.38)
- Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
-
- dep: libx11-6
- Biblioteka X11 po stronie klienta
-
- dep: libxpm4
- Biblioteka piksmap do środowiska X11
Pobieranie axiom-hypertex
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
riscv64 | 248,4 KiB | 400,0 KiB | [lista plików] |