Системите за компютърна алгебра (СКА), наричани често системи за символни и алгебрични пресмятания, системи за математически пресмятания или системи за компютърна математика, представляват програмни среди за символни и числени пресмятания и за визуализация на функции и данни. Те боравят с изрази, представени символно, и извършват над тях определени преобразования или решават определени типове задачи от различни области на математиката.
В исторически аспект СКА се разработват и използват от около четири десетилетия и за този период са разработени няколко десетки СКА - с общо предназначение (с богат набор от операции от различни области на математиката) и специализирани (ориентирани към приложение в определена област). У нас са познати и използвани, например, СКА с общо предназначение (с версии за различни типове компютри) MATHEMATICA, MAPLE, DERIVE, MATLAB, MACSYMA, REDUCE и др.
СКА намират приложение предимно в научно-изследователската работа, при решаване на научно-технически задачи и в обучението. Докато за научните изследвания в редица области и за инженерните пресмятания тези системи вече са естествено помощно средство, за обучението по математика това става по-бавно. За последните няколко години, обаче, е характерен "бум" в това направление. Това се вижда от публикации в списания, свързани с приложението на СКА или с използването на компютри в обучението по математика, от тематиката на редица международни конференции, от информационни материали, достъпни чрез Интернет.
На разширяващото се приложение на СКА влияят, разбира се, и новите технологии, особено появата на графичните калкулатори (наричани често алгебрични калкулатори (АК) поради вградените в тях възможности на конкретна система за компютърна алгебра). Те все по-широко се използват за целите на обучението както в средните училища, така и в университетите.
СКА и АК стават мощно помощно средство в обучението не само по математика, но и в обучението по физика, химия, технически и икономически науки и др.
Symbolic Network: http://www.symbolicnet.org
SymbolicNet- List of WWW-sites: http://symbolicnet.mcs.kent.edu/www-sites.html