[Solar-general] Axiom - un sistema de álgebra computacional libre

[Pablo De Napoli]

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/