Con il termine
sistema di algebra computazionale (o anche con il termine inglese
computer algebra system e con il suo acronimo CAS) si intende un
sistema software in grado di facilitare la esecuzione di elaborazioni simboliche. La funzionalità di base di un CAS è la manipolazione di espressioni matematiche in forma simbolica. Lo studio degli
algoritmi e delle strutture informative concretamente utilizzabili per i sistemi CAS viene detto algebra computazionale o anche computer algebra.