Package: axiom (20170501-14) [debports]

[ Source:  ]

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.

Other Packages Related to axiom

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

  sistema universale di algebra al computer: database di testo generati

• dep: libc6 (>= 2.38)

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

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

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

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

  libreria aritmetica a precisione multipla

• dep: libtirpc3t64 (>= 1.0.2)

  libreria RPC indipendente dal trasporto

• dep: libx11-6

  libreria X11 lato client

• 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

  editor di testo scientifico WYSIWYG che usa tipi di carattere TeX

Download axiom

Download for all available architectures

Architecture	Package Size	Installed Size	Files
ppc64 (unofficial port)	42,289.6 kB	338,267.0 kB	[list of files]