all options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Source: axiom  ]

Package: axiom-source (20100701-1.1)

Links for axiom-source

Screenshot

Debian Resources:

Download Source Package axiom:

Maintainer:

Similar packages:

Sistema de computação algébrica geral: módulos e binários principais

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 letrado (f) integrar com programação lógica (g) desenvolver um Jornal de Axiom (Axiom Journal) com submissões avaliadas.

Este pacote contém os fontes na linguagem spad, nativa do Axiom, para os módulos de álgebra compilados fornecidos no pacote axiom.

Tags: Field: Mathematics, User Interface: Text-based Interactive, Role: Source Code

Download axiom-source

Download for all available architectures
Architecture Package Size Installed Size Files
all 99.7 kB152.0 kB [list of files]