Balík: axiom-test (20170501-12)
počítačový algebraický systém na všeobecné účely - vstupy regresných testov
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 vstupné súbory balíka regresných testov Axiom.
Ostatné balíky súvisiace s balíkom axiom-test
|
|
|
|
-
- dep: axiom (>= 20170501-12)
- počítačový algebraický systém na všeobecné účely - hlavný binárny súbor a moduly
-
- dep: tex-common (>= 6.13)
- spoločná infraštruktúra na zostavovanie a inštalovanie TeXu
Stiahnuť axiom-test
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
all | 9,736.5 kB | 131,289.0 kB | [zoznam súborov] |