Package: axiom (20170501-12 and others)
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.
Other Packages Related to axiom
|
|
|
|
-
- dep: axiom-databases (= 20170501-12)
- General purpose computer algebra system: generated text databases
-
- dep: libc6 (>= 2.34) [not alpha, sh4]
- GNU Biblioteca C: Bibliotecas compartilhadas
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.37) [sh4]
-
- dep: libc6.1 (>= 2.34) [alpha]
- GNU Biblioteca C: Bibliotecas compartilhadas
also a virtual package provided by libc6.1-udeb
-
- dep: libedit2 (>= 2.11-20080614-0)
- bibliotecas de histórico e edição de linha BSD
-
- dep: libgcc-s1 (>= 3.0) [arm64]
- Biblioteca de suporte GCC
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- Biblioteca de suporte GCC
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- biblioteca aritmética de multi precisão
-
- dep: libtirpc3 (>= 1.0.2) [ppc64, sparc64, x32]
- Biblioteca RPC transport-independent
-
- dep: libtirpc3t64 (>= 1.0.2) [not ppc64, sparc64, x32]
- Biblioteca RPC transport-independent
-
- dep: libx11-6
- biblioteca para o cliente X11
-
- dep: libxpm4 [sparc64]
- biblioteca pixmap 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
- Package not available
Download axiom
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 20170501-12+b1 | 46,547.8 kB | 341,252.0 kB | [list of files] |
| amd64 | 20170501-12+b1 | 47,161.5 kB | 330,138.0 kB | [list of files] |
| arm64 | 20170501-12+b1 | 47,577.3 kB | 340,399.0 kB | [list of files] |
| armel | 20170501-12+b1 | 44,645.2 kB | 250,874.0 kB | [list of files] |
| armhf | 20170501-12+b1 | 46,554.7 kB | 246,845.0 kB | [list of files] |
| hppa (unofficial port) | 20170501-12+b1 | 48,958.2 kB | 273,824.0 kB | [list of files] |
| i386 | 20170501-12+b1 | 44,715.8 kB | 246,104.0 kB | [list of files] |
| m68k (unofficial port) | 20170501-12+b1 | 44,490.8 kB | 274,490.0 kB | [list of files] |
| mips64el | 20170501-12+b2 | 48,453.5 kB | 347,181.0 kB | [list of files] |
| ppc64 (unofficial port) | 20170501-12+b1 | 46,850.0 kB | 385,009.0 kB | [list of files] |
| ppc64el | 20170501-12+b1 | 48,128.3 kB | 386,284.0 kB | [list of files] |
| riscv64 | 20170501-12+b1 | 120,646.3 kB | 1,567,975.0 kB | [list of files] |
| s390x | 20170501-12+b1 | 48,390.0 kB | 334,677.0 kB | [list of files] |
| sh4 (unofficial port) | 20170501-12+b1 | 43,206.5 kB | 231,430.0 kB | [list of files] |
| sparc64 (unofficial port) | 20170501-12+b1 | 46,862.7 kB | 362,884.0 kB | [list of files] |
| x32 (unofficial port) | 20170501-12+b1 | 47,053.8 kB | 273,089.0 kB | [list of files] |