Pacote: axiom (20170501-6)

[ Fonte: axiom  ]

sistema de álgebra computacional de propósito geral: módulos e binário principal

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 o programa binário principal, toda a álgebra pré-compilada e módulos auto-carregáveis.

Etiquetas: Desenvolvimento de software: Compilador, Interpretador, Campo: field::mathematics, implemented-in::lisp, Interface de usuário(a): Linha de comando, interface::text-mode, role::program, Alcance: Utilitários

Outros pacotes relacionados a axiom

• dep: axiom-databases (= 20170501-6)

  General purpose computer algebra system: generated text databases

• dep: libc6 (>= 2.29)

  GNU Biblioteca C: Bibliotecas compartilhadas
  também um pacote virtual fornecido por libc6-udeb

• dep: libgcc-s1 (>= 3.0) [arm64]

  Biblioteca de suporte GCC

• dep: libgmp10

  biblioteca aritmética de multi precisão

• dep: libreadline8 (>= 6.0)

  bibliotecas readline e history da GNU, bibliotecas de tempo de execução

• dep: libx11-6

  biblioteca para o cliente X11

• rec: axiom-doc

  General purpose computer algebra system: documentation

• rec: axiom-graphics

  General purpose computer algebra system: graphics subsystem

• rec: axiom-hypertex

  General purpose computer algebra system: hypertex subsystem

• rec: axiom-source

  General purpose computer algebra system: source files

• sug: axiom-test

  General purpose computer algebra system: regression test inputs

• sug: axiom-tex

  General purpose computer algebra system: style file for TeX

• sug: nowebm

  Pacote não disponível

• sug: texmacs

  Pacote não disponível

Download de axiom

Baixe para todas as arquiteturas disponíveis

Arquitetura	Tamanho do pacote	Tamanho instalado	Arquivos
amd64	46,399.9 kB	392,487.0 kB	[lista de arquivos]
arm64	44,304.8 kB	386,354.0 kB	[lista de arquivos]
armel	41,109.7 kB	261,227.0 kB	[lista de arquivos]
armhf	44,786.9 kB	268,236.0 kB	[lista de arquivos]
i386	43,311.7 kB	262,568.0 kB	[lista de arquivos]
mips64el	45,995.8 kB	407,097.0 kB	[lista de arquivos]
mipsel	44,071.9 kB	274,335.0 kB	[lista de arquivos]
ppc64el	46,835.5 kB	444,416.0 kB	[lista de arquivos]
s390x	42,246.9 kB	384,933.0 kB	[lista de arquivos]