# 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
# 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-es: <trans>
 Axiom es útil para la investigación y el desarrollo de algoritmos
 matemáticos. Define una jerarquía de tipos fuertemente tipada y
 matemáticamente correcta. Incluye un lenguaje de programación e incorpora
 un compilador.
 .
 Axiom se lleva desarrollando desde 1973 e inicialmente se podía adquirir
 bajo una licencia comercial. Ahora se ha liberado como software libre.
 .
 Se están invirtiendo esfuerzos para conseguir (a) desarrollar una mejor
 interfaz de usuario (b) hacerlo útil como herramienta de enseñanza (c)
 desarrollar un protocolo de servidor de álgebra (d) integrar matemáticas
 adicionales (e) reconstruir el álgebra con un estilo de programación
 literario (f) integrar programación de lógicas (g) desarrollar un
 diario de Axion con presentaciones arbitradas.
 .
 <trans>

# other Descriptions of the axiom-tex package with a translation in es:
#