Paquet : axiom-tex (20170501-6)

système généraliste d'algèbre : feuilles de style pour TeX

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 une feuille de style TeX utile pour publier les résultats obtenus avec Axiom.

Étiquettes: Domaine: Mathématiques, Interface utilisateur: Interactive en mode texte, Rôle: Données d'application, role::program, works-with-format::tex, Fonctionne avec: Texte

Cette page est uniquement disponible dans les langues suivantes (Comment configurer la langue par défaut du document) :