# Source: axiom
# Package: axiom-databases
# Versions: axiom-databases (20120301-1), axiom-databases (20120301-2), axiom-databases (20120301-3), axiom-databases (20120501-1), axiom-databases (20120501-10), axiom-databases (20120501-11), axiom-databases (20120501-12), axiom-databases (20120501-13), axiom-databases (20120501-14), axiom-databases (20120501-16), axiom-databases (20120501-17), axiom-databases (20120501-18), axiom-databases (20120501-2), axiom-databases (20120501-8), axiom-databases (20120501-9), axiom-databases (20140801-1), axiom-databases (20140801-10), axiom-databases (20140801-11), axiom-databases (20140801-12), axiom-databases (20140801-2), axiom-databases (20140801-3), axiom-databases (20140801-4), axiom-databases (20140801-5), axiom-databases (20140801-6), axiom-databases (20140801-7), axiom-databases (20140801-8), axiom-databases (20140801-9), axiom-databases (20170401-1), axiom-databases (20170401-2), axiom-databases (20170401-3), axiom-databases (20170501-1), axiom-databases (20170501-10), axiom-databases (20170501-11), axiom-databases (20170501-12), axiom-databases (20170501-13), axiom-databases (20170501-14), axiom-databases (20170501-15), axiom-databases (20170501-2), axiom-databases (20170501-3), axiom-databases (20170501-4), axiom-databases (20170501-5), axiom-databases (20170501-6), axiom-databases (20170501-9), axiom-databases (20210105dp1-1), axiom-databases (20210105dp1-3), axiom-databases (20210105dp1-4), axiom-databases (20210105dp1-5), axiom-databases (20210105dp1-6)
# This Description is active
# Prioritize: 47
Description: General purpose computer algebra system: generated text databases
 Axiom is useful for
 research and development of mathematical algorithms. It defines a
 strongly typed, mathematically correct type hierarchy. It has a
 programming language and a built-in compiler.
 .
 Axiom has been in development since 1973 and was sold as a
 commercial product. It has been released as free software.
 .
 Efforts are underway to extend this software to (a) develop a
 better user interface (b) make it useful as a teaching tool
 (c) develop an algebra server protocol (d) integrate additional
 mathematics (e) rebuild the algebra in a literate programming style
 (f) integrate logic programming (g) develop an Axiom Journal with
 refereed submissions.
 .
 This package contains the text databases generated during the build
 process used in computing the hierarchical domain structure, among
 other uses.
Description-pt_BR: <trans>
 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 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.

# other Descriptions of the axiom-databases package with a translation in pt_BR:
# 
# Description-id: 550 https://ddtp.debian.org/ddt.cgi?desc_id=550
# patch https://ddtp.debian.org/ddt.cgi?diff1=550&diff2=129071&language=pt_BR
# This Description was in lenny from 2007-06-14 to 2011-07-22;
# This Description was in etch from 2005-07-16 to 2011-07-22;
# This Description was in wheezy from 2011-02-12 to 2012-05-05;
# This Description was in sid from 2005-07-16 to 2012-04-28;
# This Description was in squeeze from 2009-02-16 to 2014-07-22;
#