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

Package: axiom-test (20100701-1.1)

Links for axiom-test

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

Este pacote contém os arquivos de entrada para o conjunto de testes de regressão do Axiom.

Tags: Software Development: Testing and QA, Field: Mathematics, User Interface: Text-based Interactive, Role: Application Data

Other Packages Related to axiom-test

  • depends
  • recommends
  • suggests
  • enhances

Download axiom-test

Download for all available architectures
Architecture Package Size Installed Size Files
all 4,682.0 kB48,396.0 kB [list of files]