Paquet : axiom (20210105dp1-1)

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 (= 20210105dp1-1)

système généraliste d'algèbre : bases de données texte générées
dep: libc6 (>= 2.38)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-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: 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	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	64 488,2 ko	1 125 434,0 ko	[liste des fichiers]
arm64	63 747,1 ko	1 121 615,0 ko	[liste des fichiers]
armhf	55 529,5 ko	663 862,0 ko	[liste des fichiers]
i386	56 358,4 ko	673 402,0 ko	[liste des fichiers]
ppc64el	63 031,2 ko	1 151 473,0 ko	[liste des fichiers]
riscv64	121 891,7 ko	2 125 337,0 ko	[liste des fichiers]
s390x	64 532,4 ko	1 116 346,0 ko	[liste des fichiers]