[ Zdroj: axiom ]
Balík: axiom-hypertex-data (20170501-4)
Odkazy pre axiom-hypertex-data
Zdroje Debian:
Stiahnuť zdrojový balík axiom:
Správca:
Podobné balíky:
počítačový algebraický systém na všeobecné účely - subsystém hypertex
Axiom sa hodí na výskum a vývoj matematických algoritmov. Definuje silne typovú, matematicky korektnú hierarchiu typov. Obsahuje programovací jazyk a zabudovaný kompilátor.
Axiom sa vyvíja od roku 1973 a predával sa ako komerčný produkt. Bol uvoľnený ako slobodný softvér.
Prebiehajú snahy rozšíriť tento softvér:
a) vyvinúť lepšie používateľské rozhranie b) urobiť ho užitočným ako nástroj pri výuke c) vyvinúť serverový protokol pre algebru d) integrovať ďalšiu matematiku e) prebudovať algebru v štýle gramotného programovania (literate programming) f) integrovať logické programovanie g) vyvinúť recenzovaný časopis Axiom Journal
Tento balík obsahuje dátové súbory potrebné pre subsystém hypertex.
Ostatné balíky súvisiace s balíkom axiom-hypertex-data
|
|
|
|
-
- dep: tex-common (>= 6)
- spoločná infraštruktúra na zostavovanie a inštalovanie TeXu
Stiahnuť axiom-hypertex-data
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
all | 42,742.0 kB | 250,970.0 kB | [zoznam súborov] |