Paquet : axiom-hypertex (20170501-12 et autres)

[ Paquet source : axiom  ]

système informatisé d'algèbre à usage générique : sous-système hypertex

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 contient les exécutables pour le sous-système hypertex. Les programmes de ce paquet fournissent un système d'aide en ligne interactif qui décrit les nombreuses commandes d'axiom.

Étiquettes: Développement de logiciel: Documentation, Domaine: Mathématiques, Interface utilisateur: interface::commandline, interface::text-mode, Rôle: Documentation, role::program, scope::utility

Autres paquets associés à axiom-hypertex

• dep: axiom (= 20170501-12+b1) [non mips64el]

  système généraliste d'algèbre : programme principal et modules

  dep: axiom (= 20170501-12+b2) [mips64el]

• dep: axiom-hypertex-data (= 20170501-12)

  système informatisé d'algèbre à usage générique : sous-système hypertex

• dep: libc6 (>= 2.34) [non alpha, sh4]

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

  dep: libc6 (>= 2.37) [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: libx11-6

  bibliothèque X11 partie client

• dep: libxpm4

  bibliothèque pixmap X11

Télécharger axiom-hypertex

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	20170501-12+b1	241,3 ko	561,0 ko	[liste des fichiers]
amd64	20170501-12+b1	246,1 ko	437,0 ko	[liste des fichiers]
arm64	20170501-12+b1	238,3 ko	561,0 ko	[liste des fichiers]
armel	20170501-12+b1	236,4 ko	418,0 ko	[liste des fichiers]
armhf	20170501-12+b1	235,7 ko	350,0 ko	[liste des fichiers]
hppa (portage non officiel)	20170501-12+b1	233,2 ko	414,0 ko	[liste des fichiers]
i386	20170501-12+b1	246,8 ko	454,0 ko	[liste des fichiers]
m68k (portage non officiel)	20170501-12+b1	215,2 ko	364,0 ko	[liste des fichiers]
mips64el	20170501-12+b2	241,7 ko	515,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	20170501-12+b1	246,3 ko	692,0 ko	[liste des fichiers]
ppc64el	20170501-12+b1	248,5 ko	625,0 ko	[liste des fichiers]
riscv64	20170501-12+b1	247,3 ko	401,0 ko	[liste des fichiers]
s390x	20170501-12+b1	243,9 ko	453,0 ko	[liste des fichiers]
sh4 (portage non officiel)	20170501-12+b1	234,9 ko	492,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	20170501-12+b1	229,1 ko	3 257,0 ko	[liste des fichiers]
x32 (portage non officiel)	20170501-12+b1	242,6 ko	414,0 ko	[liste des fichiers]