Package: axiom-hypertex (20170501-12 and others) [debports]

Sistema informático algebraico de propósito general: Subsitema de hipertexto

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.

Este paquete contiene los binarios para el subsistema de hipertexto. Los programas de este paquete proporcionan una ayuda interactiva en línea que describe las muchas órdenes de axiom.

This page is also available in the following languages (How to set the default document language):