toutes les options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Paquet source : axiom  ]

Paquet : axiom-hypertex (20120501-1)

Liens pour axiom-hypertex

Screenshot

Ressources Debian :

Télécharger le paquet source axiom :

Responsable :

Paquets similaires :

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: Interactive en mode texte, Rôle: role::program, scope::utility

Autres paquets associés à axiom-hypertex

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger axiom-hypertex

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 224,8 ko338,0 ko [liste des fichiers]
armel 212,3 ko343,0 ko [liste des fichiers]
armhf 204,3 ko296,0 ko [liste des fichiers]
i386 214,8 ko365,0 ko [liste des fichiers]
ia64 282,1 ko636,0 ko [liste des fichiers]
kfreebsd-amd64 224,8 ko342,0 ko [liste des fichiers]
kfreebsd-i386 215,2 ko334,0 ko [liste des fichiers]
mips 214,8 ko384,0 ko [liste des fichiers]
mipsel 214,6 ko384,0 ko [liste des fichiers]
powerpc 213,3 ko362,0 ko [liste des fichiers]
s390 224,9 ko384,0 ko [liste des fichiers]
s390x 229,2 ko412,0 ko [liste des fichiers]
sparc 209,0 ko357,0 ko [liste des fichiers]