Package: axiom-databases (20050901-9)

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 bancos de dados em texto gerados durante o processo de construção usados para calcular a estrutura de comínio hierarquico, entre outros usos.

Tags: Field: Mathematics, User Interface: Text-based Interactive, Role: Application Data, Interface Toolkit: Ncurses TUI, Works with: Databases