Qué bueno!!! yo no trabajo en matemáticas, pero le reenvié a un compañero del CINDEFI Saludos Diana ----- Original Message ----- From: "Pablo De Napoli" <[email protected]> To: <[email protected]>; <[email protected]> Sent: Sunday, March 13, 2005 9:07 PM Subject: [Solar-general] Axiom - un sistema de álgebra computacional libre
Subject: Axiom - un sistema de álgebra computacional libre
Estimados compañeros,
Quería comentarles una muy buena noticia: la liberación de un sistema de
álgebra
computacional denominado Axiom.
Es un sistema con capacidades similares a las de Maple o Matemática [1]: puede realizar operaciones simbólicas tales como derivar, integrar, desarrollar en serie de Taylor, etc.
No es un software cualquiera: Está en desarrollo desde 1973. Originalmente Axiom fue desarrollado por investigadores de IBM bajo el nombre de Scratchpad, y aunque anteriormente era un producto comercial, ahora es software libre [2] y se puede descargar su código fuente desde el sitio de la Free Software Foundation [3]
Lo que me ha parecido muy atractivo de Axiom es que su sistema de tipos de datos es muy cercano a la manera de pensar de los matemáticos [7].
Axiom viene con abundante documentación [4]. Es más, otra cosa que me pareció interesante es que está escrito usando literate programming [5], una técnica introducida por D. Knuth al desarrollar TeX, que consiste en que cada módulo del programa contiene también su documentación legible para humanos, de modo que la documentación sea completa y actualizada (de hecho cada archivo del programa, es un documento en TeX)
La liberación de Axiom es una muy buena noticia para todos los que trabajamos en matemática, o en disciplinas relacionadas, ya que un sistema de álgebra computacional de esa potencia y flexibilidad era algo que le estaba faltando al software libre [8] (Pari/Gp es otro excelente sistema, pero por ej. no sabe integrar funciones, está orientado a teoría de números).
Un saludo, Pablo De Nápoli
[1] Para comparaciones entre los distintos sistemas de álgebra computacional, pueden ver la página personal de Alejandro Jakubi, del departamento de física de mi facultad:
http://www.df.uba.ar/users/jakubi/comparison.html
[2] Axiom se distribuye bajo una licencia de BSD modificada.
[3] Savanah http://savannah.nongnu.org/projects/axiom/
Página de Axiom: http://page.axiom-developer.org/zope/mathaction
Página en Wikipedia sobre Axiom http://en.wikipedia.org/wiki/Axiom_computer_algebra_system
[4] Axiom Book http://page.axiom-developer.org/zope/Plone/refs/books/axiom-book2.pdf
[5] http://en.wikipedia.org/wiki/Literate_programming
[6] pueden descargarlo de http://page.axiom-developer.org/zope/mathaction/AxiomDownload
[7] tiene 'Categorías' como por ejemplo anillo o monoide asociativo, y se puede escribir algoritmos polimórficos especificando por ejemplo que se puede aplicar el algoritmo a matrices con coeficientes en un anillo y despúes usar el algoritmo para distintos anillos (como por ej. los enteros, o los reales en punto flotante). No he visto nada similar en otros sistemas de álgebra computacional.
[8] En mi página
http://mate.dm.uba.ar/~pdenapo/mathsoft.html
pueden encontrar enlaces a otros programas libres para álgebra computacional.
__________________________________ Do you Yahoo!? Yahoo! Small Business - Try our new resources site! http://smallbusiness.yahoo.com/resources/
---------------------------------------------------------------------------- ---- _______________________________________________ Solar-general mailing list [email protected] http://lists.ourproject.org/cgi-bin/mailman/listinfo/solar-general