Sistema algebraico computacional
De Wikipedia, la enciclopedia libre
Un sistema algebraico computarizado (CAS, del inglés computer algebra system) es un programa de ordenador que facilita el cálculo matemático simbólico, pues permite la manipulación de expresiones matemáticas en forma simbólica. Es decir, una expresión como a + b es interpretada siempre como "la suma de dos variables", y no como "la suma de dos números" (con valores asignados).
No obstante, un programa de esta clase puede encontrar limitaciones a la hora de resolver ciertas expresiones derivadas, integrales, antiderivadas, límites, cuando éstas tienen alguna ambigüedad o indefinición.
Algunas versiones ofrecen al usuario la posibilidad de programar sus propios algoritmos matemáticos y solventar, en parte, tales limitaciones. El estudio de algoritmos aplicables a los sistemas algebraicos computarizados se denomina álgebra computacional.
Tabla de contenidos |
[editar] Ejemplos
- Maple (de Maplesoft), para Microsoft Windows y Linux.
- Yacas ("Yet Another Computer Algebra System"), un software libre para Linux.
- Maxima, un software libre para Windows y Linux.
- Octave, biblioteca de software y programa para Windows y Linux.
- Mathematica (de Wolfram) para Windows.
[editar] Véase también
Lista de programas de álgebra computacional
[editar] Enlaces externos (inglés)
- http://compalg.inf.elte.hu/compalg/coindex.html
- http://www.cs.kun.nl/~freek/digimath/
- Open Directory Project: Math Software
- http://www.mat.univie.ac.at/~slc/divers/software.html
- http://www.lapcs.univ-lyon1.fr/~nthiery/CalculFormelLibre/
[editar] Páginas en Internet sobre CAS (inglés)
- Algebrator
- Axiom
- CoCoA
- DCAS
- Derive (North America)
- Derive (Europe)
- DoCon
- GAP
- GiNaC
- PARI-GP
- Maple
- Mathcad
- Mathematica
- Mathomatic
- Maxima
- Mupad
- REDUCE
- Singular
[editar] Fuente
Wikipedia. Traducción del artículo en inglés.
[editar] Bibliografía
- Richard J. Fateman. "Essays in algebraic simplification". Technical report MIT-LCS-TR-095, 1972. (Of historical interest in showing the direction of research in computer algebra. At the MIT LCS web site: [1])
