Axiom (axioma) é útil para pesquisa e desenvolvimento de algoritmos matemáticos. ele define uma hierarquia de tipos matematicamente correta e fortemente tipada. Tem uma linguagem de programação e um compilador interno.
Axiom está em desenvolvimento desde 1973 e já foi vendido como produto comercial. Depois foi lançado como software livre.
Há esforços atualmente para estender este programa para (a) desenvolver uma interface de usuário melhor (b) torná-lo funcional como uma ferramenta de ensino (c) desenvolver um protocolo de servidor de Álgebra (d) integrar matemática adicional (e) reconstruir a Álgebra num estilo de programação "literato" (f) integrar com programação lógica (g) desenvolver um Jornal de Axiom (Axiom Journal) com submissões avaliadas.
Este pacote contém toda a documentação, inclusive o livro do Axiom no formato dvi com todas as imagens em postscript.
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 8,496.0 kB | 11852 kB | [list of files] |