Axiom je užitečný pro výzkum a vývoj matematických algoritmů. Obsahuje precizně napsanou, matematicky správnou hierarchii jednotlivých typů. Má vlastní programovací jazyk a vestavěný kompilátor.
Axiom je vyvíjen od roku 1973 a byl po určitou dobu prodáván jako komerční produkt. Nakonec byl uvolněn jako svobodný software.
V současné době se pracuje na rozšíření programu o (a) vytvoření lepšího uživatelského rozhraní (b) uplatnění programu jako výukového nástroje (c) vytvoření serverového protokolu algebry (d) přidání další matematiky (e) přestavení algebry do kultivovaného programovacího stylu (f) integraci logického programování (g) vytvoření "Axiom Journal" s řízením příspěvků.
Balíček obsahuje stylové soubory TeXu, které jsou užitečné při vydávání výsledků získaných Axiomem.
|
|
|
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 26.4 kB | 108 kB | [list of files] |