toutes les options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : axiom  ]

Paquet : axiom (20170501-14 et autres)

Liens pour axiom

Screenshot

Ressources 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.

É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

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-13 43 334,5 ko325 647,0 ko [liste des fichiers]
amd64 20170501-14 43 225,3 ko310 260,0 ko [liste des fichiers]
arm64 20170501-14 42 717,4 ko316 895,0 ko [liste des fichiers]
armel 20170501-14 40 673,2 ko234 988,0 ko [liste des fichiers]
armhf 20170501-14 42 660,8 ko231 766,0 ko [liste des fichiers]
hppa (portage non officiel) 20170501-14 47 660,6 ko267 773,0 ko [liste des fichiers]
i386 20170501-14 40 714,7 ko228 484,0 ko [liste des fichiers]
loong64 (portage non officiel) 20170501-14 53 195,1 ko457 583,0 ko [liste des fichiers]
m68k (portage non officiel) 20170501-14 44 448,5 ko274 493,0 ko [liste des fichiers]
mips64el 20170501-14 44 766,1 ko331 679,0 ko [liste des fichiers]
ppc64 (portage non officiel) 20170501-14 42 289,6 ko338 267,0 ko [liste des fichiers]
ppc64el 20170501-14 43 340,3 ko362 364,0 ko [liste des fichiers]
riscv64 20170501-14 111 046,6 ko1 440 236,0 ko [liste des fichiers]
s390x 20170501-14 43 453,0 ko310 137,0 ko [liste des fichiers]
sh4 (portage non officiel) 20170501-14 39 408,7 ko219 878,0 ko [liste des fichiers]
sparc64 (portage non officiel) 20170501-14 41 359,4 ko336 978,0 ko [liste des fichiers]
x32 (portage non officiel) 20170501-14 43 020,4 ko254 181,0 ko [liste des fichiers]