Sistema alxébrico computacional

Un sistema alxébrico computacional ( inglés: CAS) é 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.^[1]^[2] 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.^[3]

Lista de sistemas alxébricos informáticos

Uso xenérico
- Comercial
  - Behavioural Calculus
  - Derive
  - DoCon
  - Maple
  - Mathematica
  - MuMATH
  - MuPAD
  - Reduce
  - MathCad
  - MATLAB - Symbolic Math Toolbox
- Software gratuíto
xeometria alxébrica, computacións polinomiais:
- Macaulay
- SINGULAR
Teoría de grafos
- VEGA
álxebra, teoría de grupos
- GAP
- Magma
Teoria 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

↑ DAVENPORT, J. H.; SIRET, Y.; TOURNIER, E. (1993). Computer Algebra. Boston. p. 298. ISBN 0-12-209232-8 |isbn= incorrecto: checksum (Axuda).
↑ MacCALLUM, Malcom; WRIGHT, Francis (1993). Algebraic Computing with Reduce. Oxford. p. 294. ISBN 0-19-853443-4.
↑ HECK, A. (1996). Introduction to Maple. New York. p. 699. ISBN 0-387-94535-0.

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: [1])

[1] DAVENPORT, J. H.; SIRET, Y.; TOURNIER, E. (1993). Computer Algebra. Boston. p. 298. ISBN 0-12-209232-8 |isbn= incorrecto: checksum (Axuda).

[2] MacCALLUM, Malcom; WRIGHT, Francis (1993). Algebraic Computing with Reduce. Oxford. p. 294. ISBN 0-19-853443-4.

[3] HECK, A. (1996). Introduction to Maple. New York. p. 699. ISBN 0-387-94535-0.

[1]

[2]

[3]