Sistema alxébrico computacional

Un sistema alxébrico computacional ( ) é un programa informático que facilita os cálculos en matemáticas simbólicas. Normalmente, os sistemas dispoñibles comercialmente inclúen:

 precisión aritmética arbitraria (bignum), que permite, por exemplo, a avaliación de pi a 10.000 díxitos
 motor de manipulación simbólica, para simplificar expresións alxébricas, para diferenciar e integrar funcións e resolver ecuacións
 facilidades gráficas, para producir gráficos de funcións, normalmente en dúas ou tres dimensións
 un subsistema de álxebra linear, para permitir o cálculo matricial e a resolución de sistemas de ecuacións lineares
 unha linguaxe de programación de alto nivel, que permite aos usuarios implementar os seus propios algoritmos
 un sistema de composición para expresións matemáticas

A álxebra computacional ou computación alxébrica é o nome da tecnoloxía para manipular fórmulas matemáticas mediante ordenadores dixitais. A álxebra computacional, tamén coñecida polo termo computación simbólica, tamén se pode definir como unha computación con símbolos que representan obxectos matemáticos.

 Lista de sistemas alxébricos informáticos 
 Uso xenérico
 Comercial

 Derive
 DoCon
 Maple
 Mathematica
 MuMATH
 MuPAD
 Reduce
 MathCad
 MATLAB - Symbolic Math Toolbox 
 Software gratuíto
 Axiom
 Eigenmath
 GiNaC
 Macsyma
 Maxima
 Advanced Trigonometry Calculator

 Yacas
 dcas
 xeometria alxébrica, computacións polinomiais:
 Macaulay
 SINGULAR
 Teoría de grafos
 VEGA
 álxebra, teoría de grupos
 GAP
 Magma
 Teoría numérica:
 PARI-GP gratuíto
 calculadoras con sistemas alxébricos
 TI-89 (baseado en tecnoloxía Derive)
 TI-92 (baseado en tecnoloxía Derive)
 HP 49G+
 HP Prime+ bibliotecas de computación alxébrica
 SymbolicC++
 Notas 


 Véxase tamén 

 Bibliografía 

 Outros artigos 
 Maxima.
 Maple.
 Ligazóns externas 
 Richard J. Fateman. "Essays in algebraic simplification". Technical report MIT-LCS-TR-095, 1972. . At the MIT LCS web site: )

Categoría:Álxebra
Categoría:Informática