all options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ] [  stretch  ]
[ Source: axiom  ]

Package: axiom-hypertex (20120501-1)

Links for axiom-hypertex

Screenshot

Debian Resources:

Download Source Package axiom:

Maintainer:

Similar packages:

système informatisé d'algèbre à usage générique : sous-système hypertex

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 exécutables pour le sous-système hypertex. Les programmes de ce paquet fournissent un système d'aide en ligne interactif qui décrit les nombreuses commandes d'axiom.

Tags: Software Development: Documentation, Field: Mathematics, User Interface: Text-based Interactive, Role: role::program, scope::utility

Other Packages Related to axiom-hypertex

  • depends
  • recommends
  • suggests
  • enhances

Download axiom-hypertex

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 224.8 kB338.0 kB [list of files]
armel 212.3 kB343.0 kB [list of files]
armhf 204.3 kB296.0 kB [list of files]
i386 214.8 kB365.0 kB [list of files]
ia64 282.1 kB636.0 kB [list of files]
kfreebsd-amd64 224.8 kB342.0 kB [list of files]
kfreebsd-i386 215.2 kB334.0 kB [list of files]
mips 214.8 kB384.0 kB [list of files]
mipsel 214.6 kB384.0 kB [list of files]
powerpc 213.3 kB362.0 kB [list of files]
s390 224.9 kB384.0 kB [list of files]
s390x 229.2 kB412.0 kB [list of files]
sparc 209.0 kB357.0 kB [list of files]