English · Русский

MξΣ Maxima, un sistema de álgebra computacional

Otros Sistemas de Álgebra Computacional Libres y/o Open Source

Axiom

“Axiom es un sistema de Álgebra Computacional de propósito general. Es muy útil para hacer matemáticas por computador y para investigación y desarrollo de algoritmos matemáticos. Define una tipificación muy fuerte, una jerarquía de datos matemáticamente correcta. Tiene un lenguaje de programación e incorpora un compilador.”

Hay también una interesante herramienta: Rosetta Stone la cual ofrece traducciones de muchas de las operaciones básicas para varios sistemas de álgebra computacional, incluyendo Maxima.

http://axiom-developer.org/

GAP

“GAP es un sistema para trabajo con álgebra discreta, con particular énfasis en Teoría de Grupos Computacional.”

http://turnbull.mcs.st-and.ac.uk/~gap/

Jasymca

“Jasymca es una calculadora simbólica escrita para teléfonos móbiles y PDAs. Resuelve y manipula ecuaciones, maneja problemas básicos de cálculo y provee un poco más de las típicas funciones de un sistema de álgebra computacional. La sintáxis esta un poco relacionada con GNU-Maxima.”

http://webuser.hs-furtwangen.de/~dersch

REDUCE

“REDUCE es un sistema interactivo para cálculos algebraicos generales de interés para matemáticos, científicos e ingenieros.”

http://reduce-algebra.com

SINGULAR

“SINGULAR es un Sistema de Álgebra Computacional para manipulación polinomial con especial énfasis en álgebra conmutativa, geometría algebráica y teoría de la singularidad.”

http://www.singular.uni-kl.de/

Yacas

“YACAS es un sistema de Álgebra Computacional de fácil uso y de propósito general, un programa para manipulación simbólica de expresiones matemáticas. Usa su propio lenguaje de programación diseñado para cálculos tanto simbólicos como numéricos con precisión arbitraria.”

http://yacas.sourceforge.net/

Otro Software Matemático Libre y/o Open Source

ARIBAS

“ARIBAS es un intérprete interactivo para aritmética con números enteros grandes y aritmética de números de punto flotante multiprecisión con una sintáxis similar a Pascal/Modula. Cuenta con varias funciones incorporadas para teoría de números como gcd, símbolo Jacobi, primera prueba probabilísitca de Rabin, algoritmos de factorización (Pollard rho, curva elíptica, fracciones continuas, quadratic sieve), etc.”

http://www.mathematik.uni-muenchen.de/~forster/sw/aribas.html

NumPy

“El paquete fundamental necesario para cálculos científicos con Python es llamado NumPy. Este paquete contiene un poderoso arreglo n-dimensional como objeto, sofisticadas funciones, herramientas para integración con C/C++ y código Fortran y útiles capacidades para álgebra lineal, transformadas de Fourier y números aleatorios.”

http://numpy.scipy.org/

Octave

“GNU Octave es un lenguaje de alto nivel, orientado primariamente hacia cálculos numéricos. Provee una conveniente interfaz en línea de comandos para solucionar problemas lineales y no lineales numéricamente y para el desarrollo de otros experimentos numéricos usando un lenguaje que es en su mayoría compatible con Matlab.”

http://www.gnu.org/software/octave/

PARI/GP

“PARI/GP es un sistema de álgebra computacional ampliamente usado diseñado para cálculos rápidos en teoría de números (factorización, teoría de números algebráica, curvas elípticas, …) pero también contiene un largo número de otras funciones útiles para efectuar con entidades matemáticas tales como matrices, polinomios, series de potencias, números algebráicos, etc., y la mayoría de funciones trascendentes.”

http://pari.math.u-bordeaux.fr/

R

“R es un entorno libre para cálculos y gráficas estadísticas. Se compila y ejecuta en una amplia variedad de plataformas UNIX, Windows and MacOS.”

http://www.r-project.org/

Información Acerca de Sistemas de Álgebra Computacional

Lista de sistemas de Álgebra Computacional (Wikipedia)

La mayoría de los enlaces se encuentran allá.

http://en.wikipedia.org/wiki/List_of_computer_algebra_systems

SymbolicNet

Un muy buen lugar como punto inicial para aprender acerca de álgebra computacional y sistemas de álgebra computacional.

http://www.symbolicnet.org/