Balík: axiom-hypertex (20210105dp1-1)

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 spustiteľné súbory subsystému hypertex. Programy v tomto balíku poskytujú interaktívny systém online pomocníka popisujúci mnohé príkazy axiom.

Značky: Software Development: Dokumentácia, Pole: Matematika, User Interface: interface::commandline, interface::text-mode, Role: Dokumentácia, role::program, scope::utility

Táto stránka je tiež dostupná v nasledovných jazykov (ako nastaviť predvolený jazyk dokumentov):