all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source:  ]

Package: axiom (20170501-12 and others) [debports]

Links for axiom

Screenshot

Debian Resources:

Download Source Package :

Not found

Maintainers:

Similar packages:

sistema de álgebra computacional de propósito geral: módulos e binário principal

Axiom é útil para pesquisa e desenvolvimento de algorítimos matemáticos. Ele define uma hierarquia de tipos matematicamente corretos e fortemente tipados. Tem uma linguagem de programação e um compilador embutido.

Axiom está em desenvolvimento desde 1973 e já foi vendido como um produto comercial. Logo após, ele foi lançado como software livre.

Há esforços atualmente para estender este software 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 literária (f) integrar com programação lógica (g) desenvolver um Jornal de Axiom (Axiom Journal) com submissões avaliadas.

Este pacote contém o programa binário principal, toda a álgebra pré-compilada e módulos auto-carregáveis.

Other Packages Related to axiom

  • depends
  • recommends
  • suggests
  • enhances

Download axiom

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 20170501-12+b1 46,547.8 kB341,252.0 kB [list of files]