Paquet : axiom (20170501-14 et autres)
Liens pour axiom
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source axiom :
Responsable :
Paquets similaires :
système généraliste d'algèbre : programme principal et modules
Axiom est un programme utile pour l'enseignement et la recherche d'algorithmes mathématiques. Il définit une hiérarchie de types mathématiquement correcte et fortement typée. Il comporte un langage de programmation et un compilateur interne.
Axiom est développé depuis 1973 et était précédemment commercialisé. Il a été depuis publié comme logiciel libre.
Des efforts sont en cours pour :
- étendre le logiciel afin de développer une meilleure interface utilisateur ; - le rendre utile pour l'enseignement ; - développer un protocole pour serveur d'algèbre ; - intégrer d'autres aspects des mathématiques ; - reconstruire l'algèbre dans un style de programmation littéraire (« literate programming ») ; - intégrer la programmation logique ; - développer un « Axiom Journal » comportant des articles d'un comité de lecture.
Ce paquet fournit le programme principal et tous les modules précompilés d'algèbre, qui peuvent être automatiquement chargés.
Autres paquets associés à axiom
|
|
|
|
-
- dep: axiom-databases (= 20170501-13) [alpha]
- système généraliste d'algèbre : bases de données texte générées
- dep: axiom-databases (= 20170501-14) [non alpha]
-
- dep: libc6 (>= 2.38) [non alpha, loong64, sh4]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.40) [loong64, sh4]
-
- dep: libc6.1 (>= 2.34) [alpha]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb
-
- dep: libedit2 (>= 2.11-20080614-0)
- bibliothèques BSD d'édition de ligne et d'historique
-
- dep: libgcc-s1 (>= 3.0) [arm64]
- bibliothèque de prise en charge de GCC
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- bibliothèque de prise en charge de GCC
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Bibliothèque arithmétique à multi-précision
-
- dep: libtirpc3t64 (>= 1.0.2)
- bibliothèque RPC indépendante de la couche de transport
-
- dep: libx11-6
- bibliothèque X11 partie client
-
- rec: axiom-doc
- système généraliste d'algèbre : documentation
-
- rec: axiom-graphics
- système généraliste d'algèbre : sous-ensemble graphique
-
- rec: axiom-hypertex
- système informatisé d'algèbre à usage générique : sous-système hypertex
-
- rec: axiom-source
- système généraliste d'algèbre : fichiers source
-
- sug: axiom-test
- système généraliste d'algèbre : entrées de test de régression
-
- sug: axiom-tex
- système généraliste d'algèbre : feuilles de style pour TeX
-
- sug: nowebm
- Paquet indisponible
-
- sug: texmacs
- éditeur de texte scientifique WYSIWYG utilisant les fontes de TeX
Télécharger axiom
Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|---|
alpha (portage non officiel) | 20170501-13 | 43 334,5 ko | 325 647,0 ko | [liste des fichiers] |
amd64 | 20170501-14 | 43 225,3 ko | 310 260,0 ko | [liste des fichiers] |
arm64 | 20170501-14 | 42 717,4 ko | 316 895,0 ko | [liste des fichiers] |
armel | 20170501-14 | 40 673,2 ko | 234 988,0 ko | [liste des fichiers] |
armhf | 20170501-14 | 42 660,8 ko | 231 766,0 ko | [liste des fichiers] |
hppa (portage non officiel) | 20170501-14 | 47 660,6 ko | 267 773,0 ko | [liste des fichiers] |
i386 | 20170501-14 | 40 714,7 ko | 228 484,0 ko | [liste des fichiers] |
loong64 (portage non officiel) | 20170501-14 | 53 195,1 ko | 457 583,0 ko | [liste des fichiers] |
m68k (portage non officiel) | 20170501-14 | 44 448,5 ko | 274 493,0 ko | [liste des fichiers] |
mips64el | 20170501-14 | 44 766,1 ko | 331 679,0 ko | [liste des fichiers] |
ppc64 (portage non officiel) | 20170501-14 | 42 289,6 ko | 338 267,0 ko | [liste des fichiers] |
ppc64el | 20170501-14 | 43 340,3 ko | 362 364,0 ko | [liste des fichiers] |
riscv64 | 20170501-14 | 111 046,6 ko | 1 440 236,0 ko | [liste des fichiers] |
s390x | 20170501-14 | 43 453,0 ko | 310 137,0 ko | [liste des fichiers] |
sh4 (portage non officiel) | 20170501-14 | 39 408,7 ko | 219 878,0 ko | [liste des fichiers] |
sparc64 (portage non officiel) | 20170501-14 | 41 359,4 ko | 336 978,0 ko | [liste des fichiers] |
x32 (portage non officiel) | 20170501-14 | 43 020,4 ko | 254 181,0 ko | [liste des fichiers] |