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

[Diana Venturini]

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" <pdenapo en yahoo.com>
To: <solar-general en lists.ourproject.org>;
<coordinadores-hipatia en listas.hipatia.info>
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
Solar-general en lists.ourproject.org
http://lists.ourproject.org/cgi-bin/mailman/listinfo/solar-general