# Source: axiom # Package: axiom-test # Versions: axiom-test (20120301-1), axiom-test (20120301-2), axiom-test (20120301-3), axiom-test (20120501-1), axiom-test (20120501-10), axiom-test (20120501-11), axiom-test (20120501-12), axiom-test (20120501-13), axiom-test (20120501-14), axiom-test (20120501-16), axiom-test (20120501-17), axiom-test (20120501-18), axiom-test (20120501-2), axiom-test (20120501-8), axiom-test (20120501-9), axiom-test (20140801-1), axiom-test (20140801-10), axiom-test (20140801-11), axiom-test (20140801-12), axiom-test (20140801-2), axiom-test (20140801-3), axiom-test (20140801-4), axiom-test (20140801-5), axiom-test (20140801-6), axiom-test (20140801-7), axiom-test (20140801-8), axiom-test (20140801-9), axiom-test (20170401-1), axiom-test (20170401-2), axiom-test (20170401-3), axiom-test (20170501-1), axiom-test (20170501-10), axiom-test (20170501-11), axiom-test (20170501-12), axiom-test (20170501-13), axiom-test (20170501-14), axiom-test (20170501-15), axiom-test (20170501-2), axiom-test (20170501-3), axiom-test (20170501-4), axiom-test (20170501-5), axiom-test (20170501-6), axiom-test (20170501-9), axiom-test (20210105dp1-1), axiom-test (20210105dp1-3), axiom-test (20210105dp1-4), axiom-test (20210105dp1-5), axiom-test (20210105dp1-6) # This Description is active # Prioritize: 48 Description: General purpose computer algebra system: regression test inputs 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 input files for Axiom's regression test suite. Description-pt: Axiom é útil para a investigação e desenvolvimento de algoritmos matemáticos. Ele define uma forte hierarquia, em que tudo o que é digitado tem que ser matematicamente correcto. Tem uma linguagem de programação e um compilador integrados. . Axiom tem estado em desenvolvimento desde 1973 e foi vendido como um produto comercial. Foi lançado como software livre. . Esforços estão em curso para que este software seja capaz de (a) desenvolver uma melhor interface de utilizador (b) torná-lo útil como instrumento de ensino (c) desenvolver um protocolo de servidor de álgebra (d) integrar matemáticas adicionais (e) reconstruir a álgebra num estilo de programação letrada (f) integrar programação lógica (g) desenvolver uma revista Axiom com submissões referidas. . # other Descriptions of the axiom-test package with a translation in pt: #