Package: axiom (20170501-12 and others)

[ Source: axiom  ]

sistema di algebra al computer universale: eseguibile principale e moduli

Axiom è utile per la ricerca e lo sviluppo di algoritmi matematici. Definisce una gerarchia di tipi, rigorosa e matematicamente corretta. Ha un linguaggio di programmazione ed un compilatore incorporato.

Axiom è stato sviluppato sin dal 1973 ed è stato venduto come prodotto commerciale. È stato rilasciato come software libero.

Sono in corso sforzi per estendere questo software per (a) sviluppare un'interfaccia utente migliore; (b) renderlo utile come strumento di insegnamento; (c) sviluppare un protocollo server per l'algebra; (d) integrare matematica aggiuntiva; (e) ricostruire l'algebra in uno stile di programmazione documentato; (f) integrare la programmazione logica; (g) sviluppare un Axiom Journal con contributi referenziati.

Questo pacchetto contiene il programma eseguibile principale e tutti i moduli di algebra precompilati e autocaricabili.

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-12)

  sistema universale di algebra al computer: database di testo generati

• dep: libc6 (>= 2.34) [not alpha, sh4]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.37) [sh4]

• dep: libc6.1 (>= 2.34) [alpha]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6.1-udeb

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

  librerie BSD per la cronologia e la modifica della riga di comando

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

  libreria di supporto a GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  libreria di supporto a GCC

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

  libreria aritmetica a precisione multipla

• dep: libtirpc3 (>= 1.0.2) [ppc64, sparc64, x32]

  libreria RPC indipendente dal trasporto

• dep: libtirpc3t64 (>= 1.0.2) [not ppc64, sparc64, x32]

  libreria RPC indipendente dal trasporto

• dep: libx11-6

  libreria X11 lato client

• dep: libxpm4 [sparc64]

  libreria pixmap X11

• rec: axiom-doc

  sistema universale di algebra al computer: documentazione

• rec: axiom-graphics

  sistema universale di algebra al computer: sottosistema grafico

• rec: axiom-hypertex

  sistema di algebra al computer universale: sottosistema hypertex

• rec: axiom-source

  sistema universale di algebra al computer: file sorgenti

• sug: axiom-test

  sistema universale di algebra al computer: input per test di regressione

• sug: axiom-tex

  sistema universale di algebra al computer: file di stile per TeX

• sug: nowebm

  Package not available

• sug: texmacs

  Package not available

Download axiom

Download for all available architectures

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]