# Source: axiom
# Package: axiom-tex
# Versions: axiom-tex (20120301-1), axiom-tex (20120301-2), axiom-tex (20120301-3), axiom-tex (20120501-1), axiom-tex (20120501-10), axiom-tex (20120501-11), axiom-tex (20120501-12), axiom-tex (20120501-13), axiom-tex (20120501-14), axiom-tex (20120501-16), axiom-tex (20120501-17), axiom-tex (20120501-18), axiom-tex (20120501-2), axiom-tex (20120501-8), axiom-tex (20120501-9), axiom-tex (20140801-1), axiom-tex (20140801-10), axiom-tex (20140801-11), axiom-tex (20140801-12), axiom-tex (20140801-2), axiom-tex (20140801-3), axiom-tex (20140801-4), axiom-tex (20140801-5), axiom-tex (20140801-6), axiom-tex (20140801-7), axiom-tex (20140801-8), axiom-tex (20140801-9), axiom-tex (20170401-1), axiom-tex (20170401-2), axiom-tex (20170401-3), axiom-tex (20170501-1), axiom-tex (20170501-10), axiom-tex (20170501-11), axiom-tex (20170501-12), axiom-tex (20170501-13), axiom-tex (20170501-14), axiom-tex (20170501-15), axiom-tex (20170501-2), axiom-tex (20170501-3), axiom-tex (20170501-4), axiom-tex (20170501-5), axiom-tex (20170501-6), axiom-tex (20170501-9), axiom-tex (20210105dp1-1), axiom-tex (20210105dp1-3), axiom-tex (20210105dp1-4), axiom-tex (20210105dp1-5), axiom-tex (20210105dp1-6)
# This Description is active
# This Description is owned
# Prioritize: 49
Description: General purpose computer algebra system: style file for TeX
 Axiom is useful for
 research and development of mathematical algorithms. It defines a
 strongly typed, mathematically correct type hierarchy. It has a
 programming language and a built-in compiler.
 .
 Axiom has been in development since 1973 and was sold as a
 commercial product. It has been released as free software.
 .
 Efforts are underway to extend this software to (a) develop a
 better user interface (b) make it useful as a teaching tool
 (c) develop an algebra server protocol (d) integrate additional
 mathematics (e) rebuild the algebra in a literate programming style
 (f) integrate logic programming (g) develop an Axiom Journal with
 refereed submissions.
 .
 This package contains a TeX style file useful in publishing results
 obtained with Axiom.
Description-fr: 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.

# other Descriptions of the axiom-tex package with a translation in fr:
# 
# Description-id: 558 https://ddtp.debian.org/ddt.cgi?desc_id=558
# patch https://ddtp.debian.org/ddt.cgi?diff1=558&diff2=129079&language=fr
# This Description was in etch from 2005-07-16 to 2011-07-22;
# This Description was in lenny from 2007-06-14 to 2011-07-22;
# This Description was in wheezy from 2011-02-12 to 2012-05-05;
# This Description was in squeeze from 2009-02-16 to 2014-07-22;
# This Description was in sid from 2005-07-16 to 2012-04-28;
#