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/