Package: axiom (20170501-12)

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

  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.2.1+dfsg1)

  libreria aritmetica a precisione multipla

• dep: libtirpc3 (>= 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

  Package not available

Download axiom

Download for all available architectures

Architecture	Package Size	Installed Size	Files
i386	44,660.8 kB	248,264.0 kB	[list of files]