Package: axiom-test (20120501-1)
sistema universale di algebra al computer: input per test di regressione
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 i file di input per suite di test di regressione Axiom.
Other Packages Related to axiom-test
|
|
|
-
- dep: axiom (>= 20120501-1)
- sistema di algebra al computer universale: eseguibile principale e moduli
-
- dep: dpkg (>= 1.14.18)
- sistema di gestione dei pacchetti di Debian
-
- dep: tex-common (>= 3)
- infrastruttura comune per compilare e installare TeX
Download axiom-test
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 5,464.8 kB | 47,088.0 kB | [list of files] |