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

Paquet : axiom-test (20100701-1.1)

Liens pour axiom-test

Screenshot

Ressources Debian :

Télécharger le paquet source axiom :

Responsable :

Paquets similaires :

Système généraliste d'algèbre : entrées de test de régression

Axiom est un programme utile pour l'enseignement et la recherche d'algorithmes mathématiques. Il définit une hiérarchie de types solides et mathématiquement correcte. 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 de meilleure qualité, intégrer la programmation logique et développer un « Axiom Journal » comportant des articles à comité de lecture.

Ce paquet contient les fichiers d'entrées pour l'ensemble des tests de régression de Axiom.

Étiquettes: Développement de logiciel: Tests et assurance qualité, Domaine: Mathématiques, Interface utilisateur: Interactive en mode texte, Rôle: Données d'application

Autres paquets associés à axiom-test

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger axiom-test

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 4 682,0 ko48 396,0 ko [liste des fichiers]