axiom-test

Source: axiom
Package: axiom-test
Versions: axiom-test (20050901-10), axiom-test (20050901-10.1), axiom-test (20050901-9), axiom-test (20081101-2), axiom-test (20091101-1), axiom-test (20091101-2), axiom-test (20091101-3), axiom-test (20091101-4), axiom-test (20091101-5), axiom-test (20091101-6), axiom-test (20091101-7), axiom-test (20100301-1), axiom-test (20100301-2), axiom-test (20100501-1), axiom-test (20100701-1), axiom-test (20100701-1.1), axiom-test (20100901-1), axiom-test (20100901-2), axiom-test (20100901-3), axiom-test (20100901-4), axiom-test (20100901-5), axiom-test (20110301-1), axiom-test (20110301a-1), axiom-test (20111101-1)
Prioritize: 45
Description: A 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_BR: 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.

c4d6a177edf87dd1e5428214dd3a21e1 translated
ae759af394185fc5ba45db555d3a6d91 translated
54c233d6eeec17ce000df628a710d2e2 translated
3583fccc6cd9f3bcbe7baeb15f90b822 translated
db3079826ad3d33c2cf42fa190bdd2e6 translated