Balík: axiom-doc (20170501-12)
počítačový algebraický systém na všeobecné účely - dokumentácia
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 všetku dokumentáciu vrátane knihy Axiom vo formáte DVI so všetkými postscriptovými obrázkami.
Ostatné balíky súvisiace s balíkom axiom-doc
|
|
|
|
-
- dep: tex-common (>= 6.13)
- spoločná infraštruktúra na zostavovanie a inštalovanie TeXu
Stiahnuť axiom-doc
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
all | 116,551.2 kB | 127,985.0 kB | [zoznam súborov] |