Paquet : axiom-databases (20170501-12)
Liens pour axiom-databases
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source axiom :
Responsable :
Paquets similaires :
système généraliste d'algèbre : bases de données texte générées
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 bases de données texte générées durant le processus de compilation utilisé pour calculer la structure de domaine hiérarchique, entre autres choses.
Autres paquets associés à axiom-databases
|
|
|
|
-
- dep: tex-common (>= 6.13)
- infrastructure commune pour construire et installer TeX
Télécharger axiom-databases
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
all | 910,3 ko | 11 320,0 ko | [liste des fichiers] |