Pacote: axiom (20170501-14)

[ 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-14)

  General purpose computer algebra system: generated text databases

• dep: libc6 (>= 2.38)

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

• dep: libedit2 (>= 2.11-20080614-0)

  bibliotecas de histórico e edição de linha BSD

• dep: libgcc-s1 (>= 3.0)

  Biblioteca de suporte GCC

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  biblioteca aritmética de multi precisão

• dep: libtirpc3t64 (>= 1.0.2)

  Biblioteca RPC transport-independent

• 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

  WYSIWYG scientific text editor using TeX fonts

Download de axiom

Baixe para todas as arquiteturas disponíveis

Arquitetura	Tamanho do pacote	Tamanho instalado	Arquivos
arm64	42,717.4 kB	316,895.0 kB	[lista de arquivos]