všetky možnosti
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Zdroj: axiom  ]

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

Odkazy pre axiom-databases

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík axiom:

Správca:

Podobné balíky:

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.

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

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť axiom-databases

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
all 891.7 kB10,989.0 kB [zoznam súborov]