Balík: axiom-databases (20170501-4)

[ Zdroj: axiom  ]

počítačový algebraický systém na všeobecné účely - databázy generovaného textu

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 databázy textu vytvorené počas zostavenia, ktoré sa okrem iného používajú pri výpočte hierarchickej štruktúry domén.

Značky: Pole: Matematika, Role: Dáta aplikácie

Ostatné balíky súvisiace s balíkom axiom-databases

• dep: tex-common (>= 6)

  spoločná infraštruktúra na zostavovanie a inštalovanie TeXu

Stiahnuť axiom-databases

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
all	891.3 kB	10,989.0 kB	[zoznam súborov]