Paquet : axiom-graphics (20170501-4)

[ Paquet source : axiom  ]

système généraliste d'algèbre : sous-ensemble graphique

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 fournit les programmes du sous-ensemble graphique. Ceux-ci 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.

Étiquettes: Domaine: Mathématiques, Interface utilisateur: Graphical User Interface, Système X Window, Rôle: role::program, scope::utility, Fonctionne avec: Image, Système X Window: Application

Autres paquets associés à axiom-graphics

• dep: axiom (= 20170501-4)

  système généraliste d'algèbre : programme principal et modules

• dep: axiom-graphics-data (= 20170501-4)

  système généraliste d'algèbre : sous-ensemble graphique

• dep: libc6 (>= 2.4)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

• dep: libx11-6

  Bibliothèque X11 partie client

• dep: libxpm4

  bibliothèque pixmap X11

Télécharger axiom-graphics

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
i386	274,5 ko	592,0 ko	[liste des fichiers]