Package: axiom (20120501-1)

[ Source: axiom  ]

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

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 le programme principal et tous les modules précompilés d'algèbre, qui peuvent être automatiquement chargés.

Tags: Software Development: Compiler, Interpreter, Field: field::mathematics, implemented-in::lisp, User Interface: Text-based Interactive, Role: role::program, scope::utility

Other Packages Related to axiom

• dep: axiom-databases (= 20120501-1)

  système généraliste d'algèbre : bases de données texte générées

• dep: libc6 (>= 2.3)

  bibliothèque C GNU embarquée : bibliothèques partagées
  also a virtual package provided by libc6-udeb

• dep: libgmp10

  Bibliothèque arithmétique à multi-précision

• dep: libreadline6 (>= 6.0)

  bibliothèques GNU readline et GNU history (exécutables)

• dep: libx11-6

  Bibliothèque X11 partie client

• dep: libxpm4

  bibliothèque pixmap X11

• rec: axiom-doc

  système généraliste d'algèbre : documentation

• rec: axiom-graphics

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

• rec: axiom-hypertex

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

• rec: axiom-source

  système généraliste d'algèbre : fichiers source

• sug: axiom-test

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

• sug: axiom-tex

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

• sug: nowebm

  A WEB-like literate-programming tool - transitional package

• sug: texmacs

  WYSIWYG mathematical text editor using TeX fonts

Download axiom

Download for all available architectures

Architecture	Package Size	Installed Size	Files
i386	13,119.7 kB	44,755.0 kB	[list of files]