Télécharger le paquet source axiom:
Axiom est un programme utile pour l'enseignement et la recherche d'algorithmes mathématiques. Il définit une hérarchie de types solide et mathématiquement dorrecte. Il comporte un langage de programmation et un compilateur interne.
Axiom est développé depuis 1973 et était précédemment vendu. Il été é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 de meilleure qualité, intégrer la programmation logique et développer un « Axiom Journal » comportant des articles à comité de lecture.
Ce paquet fournit les programmes du sous-ensemble graphique. Ils permettent de tracer des courbes dans des fenêtres séparées en environnement X Window ainsi que la création de fichiers en format PostScript.
|
|
|
| Architecture | Taille du paquet | Espace occupé | Fichiers |
|---|---|---|---|
| alpha | 210.9 ko | 544 ko | [liste des fichiers] |
| amd64 | 178.5 ko | 424 ko | [liste des fichiers] |
| arm | 173.8 ko | 392 ko | [liste des fichiers] |
| armel | 179.8 ko | 396 ko | [liste des fichiers] |
| hppa | 188.4 ko | 420 ko | [liste des fichiers] |
| i386 | 149.3 ko | 388 ko | [liste des fichiers] |
| ia64 | 279.2 ko | 844 ko | [liste des fichiers] |
| m68k | 133.7 ko | 380 ko | [liste des fichiers] |
| mips | 192.3 ko | 524 ko | [liste des fichiers] |
| mipsel | 192.7 ko | 524 ko | [liste des fichiers] |
| powerpc | 185.8 ko | 440 ko | [liste des fichiers] |
| s390 | 171.4 ko | 408 ko | [liste des fichiers] |
| sparc | 162.0 ko | 384 ko | [liste des fichiers] |