Package: axiom-source (20050201-1)

Počítačový systém obecné algebry: zdrojové soubory

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 zdrojové soubory v přirozeném jazyku Axiomu (spad), které jsou nutné pro kompilaci modulů algebry.