Sistema aljebraiko konputazional

Sistema aljebraiko konputazionala edo aljebra konputazionalaren sistema SAK (CAS, ingelesetik computer algebra system) ordenagailu-programa edo kalkulagailu aurreratu bat da, sinbolo-kalkulua errazten duena. CAS bat eta ohiko kalkulagailuen artean dagoen alde nagusia, lehenengoak daukan trebetasuna ekuazioekin eta formulekin sinbolikoki lan egitekoa da, zenbakiekin egin beharrean. Hau da, esate baterako, a + b bezalako adierazpena beti "bi aldagaien batura" bezala interpretatzen da, eta ez "bi zenbakien batura" bezala. CAS batek eskuztatze zailak eta luzeak automatizatzea ahalbidetzen du, Newtonen binomioaren bidez $(x-10)^{500}$ adierazpena garatzea, esaterako.

Sistema aljebraiko konputazionalen zerrenda

genero-erabilera
- Software jabeduna
  - Behavioural Calculus
  - Derive
  - DoCon
  - Maple
  - Mathematica
  - MuMATH
  - MuPAD
  - Reduce
  - MathCad
- Software librea
  - Axiom
  - Eigenmath
  - GiNaC
  - Macsyma
  - Maxima
  - Sage Math on Wikipedia , open-source, escrito em Python (Sage Math site)
  - Yacas
  - dcas
Geometria aljebraikoa, polinomio-konputazioa:
- Macaulay
- SINGULAR
Grafo teoria
- VEGA
Aljebra, multzo-teoria
- GAP
- Magma
Zenbaki-teoria:
- PARI-GP doakoa
Aljebra-sistemak dituzten kalkulagailuak
- TI-89 (Derive teknologian oinarrituta)
- TI-92 (Derive teknologian oinarrituta)
- HP 49G+
Konputazio aljebraikoaren bibliotekak
- SymbolicC++