Paquet : axiom (20170501-12 et autres)

[ Paquet source : axiom  ]

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

• dep: axiom-databases (= 20170501-12)

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

• 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: 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: libtirpc3 (>= 1.0.2) [ppc64, sparc64, x32]

  bibliothèque RPC indépendante de la couche de transport

• dep: libtirpc3t64 (>= 1.0.2) [non ppc64, sparc64, x32]

  bibliothèque RPC indépendante de la couche de transport

• dep: libx11-6

  bibliothèque X11 partie client

• dep: libxpm4 [sparc64]

  bibliothèque pixmap X11

• 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

  Paquet indisponible

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)	20170501-12+b1	46 547,8 ko	341 252,0 ko	[liste des fichiers]
amd64	20170501-12+b1	47 161,5 ko	330 138,0 ko	[liste des fichiers]
arm64	20170501-12+b1	47 577,3 ko	340 399,0 ko	[liste des fichiers]
armel	20170501-12+b1	44 645,2 ko	250 874,0 ko	[liste des fichiers]
armhf	20170501-12+b1	46 554,7 ko	246 845,0 ko	[liste des fichiers]
hppa (portage non officiel)	20170501-12+b1	48 958,2 ko	273 824,0 ko	[liste des fichiers]
i386	20170501-12+b1	44 715,8 ko	246 104,0 ko	[liste des fichiers]
m68k (portage non officiel)	20170501-12+b1	44 490,8 ko	274 490,0 ko	[liste des fichiers]
mips64el	20170501-12+b2	48 453,5 ko	347 181,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	20170501-12+b1	46 850,0 ko	385 009,0 ko	[liste des fichiers]
ppc64el	20170501-12+b1	48 128,3 ko	386 284,0 ko	[liste des fichiers]
riscv64	20170501-12+b1	120 646,3 ko	1 567 975,0 ko	[liste des fichiers]
s390x	20170501-12+b1	48 390,0 ko	334 677,0 ko	[liste des fichiers]
sh4 (portage non officiel)	20170501-12+b1	43 206,5 ko	231 430,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	20170501-12+b1	46 862,7 ko	362 884,0 ko	[liste des fichiers]
x32 (portage non officiel)	20170501-12+b1	47 053,8 ko	273 089,0 ko	[liste des fichiers]