Package: axiom (20170501-13)

[ Source: 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.

Tags: Software Development: Compiler, Interpreter, Field: field::mathematics, implemented-in::lisp, User Interface: Command Line, interface::text-mode, role::program, Scope: Utility

Other Packages Related to axiom

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

  General purpose computer algebra system: generated text databases

• dep: libc6 (>= 2.38)

  GNU Biblioteca C: Bibliotecas compartilhadas
  also a virtual package provided by libc6-udeb

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

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

• 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

  Package not available

• sug: texmacs

  WYSIWYG scientific text editor using TeX fonts

Download axiom

Download for all available architectures

Architecture	Package Size	Installed Size	Files
riscv64	110,873.3 kB	1,440,352.0 kB	[list of files]