Paquet : axiom (20210105dp1-1 et autres)

Liens pour axiom

Ressources Debian :

Télécharger le paquet source axiom :

Responsable :

Camm Maguire (Page QA)

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.

Étiquettes: Développement de logiciel: Compilateur, Interpréteur, Domaine: field::mathematics, implemented-in::lisp, Interface utilisateur: Ligne de commande, interface::text-mode, role::program, Champ d'application: Utilitaire

Autres paquets associés à axiom

dépendances

recommandations

suggestions

enhances

dep: axiom-databases (= 20170501-14) [hppa]

système généraliste d'algèbre : bases de données texte générées

dep: axiom-databases (= 20210105dp1-1) [non hppa]
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.41) [loong64, sh4]
dep: libc6.1 (>= 2.38) [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 (>= 4.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

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	20210105dp1-1	62 709,3 ko	1 120 306,0 ko	[liste des fichiers]
amd64	20210105dp1-1	64 488,2 ko	1 125 434,0 ko	[liste des fichiers]
arm64	20210105dp1-1	63 747,1 ko	1 121 615,0 ko	[liste des fichiers]
armel	20210105dp1-1	54 786,8 ko	672 372,0 ko	[liste des fichiers]
armhf	20210105dp1-1	55 529,5 ko	663 862,0 ko	[liste des fichiers]
hppa (portage non officiel)	20170501-14	47 660,6 ko	267 773,0 ko	[liste des fichiers]
i386	20210105dp1-1	56 358,4 ko	673 402,0 ko	[liste des fichiers]
loong64 (portage non officiel)	20210105dp1-1	77 041,5 ko	1 295 140,0 ko	[liste des fichiers]
m68k (portage non officiel)	20210105dp1-1	54 467,7 ko	663 042,0 ko	[liste des fichiers]
mips64el	20210105dp1-1	64 778,1 ko	1 136 984,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	20210105dp1-1	63 056,4 ko	1 146 662,0 ko	[liste des fichiers]
ppc64el	20210105dp1-1	63 031,2 ko	1 151 473,0 ko	[liste des fichiers]
riscv64	20210105dp1-1	121 891,7 ko	2 125 337,0 ko	[liste des fichiers]
s390x	20210105dp1-1	64 532,4 ko	1 116 346,0 ko	[liste des fichiers]
sh4 (portage non officiel)	20210105dp1-1	52 138,8 ko	530 694,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	20210105dp1-1	79 358,5 ko	1 341 448,0 ko	[liste des fichiers]
x32 (portage non officiel)	20210105dp1-1	60 271,0 ko	700 711,0 ko	[liste des fichiers]