System algebry komputerowej lub komputerowy system obliczeń symbolicznych (ang. Computer Algebra System lub CAS) – program komputerowy wspomagający obliczenia symboliczne w matematyce, fizyce i dyscyplinach technicznych.
Możliwości Typowe wyrażenia z jakimi operują tego rodzaju programy zbudowane są z wielomianów jednej lub wielu zmiennych, funkcji elementarnych, lub macierzy; całek i pochodnych opisanych tu wyrażeń, macierzy bądź funkcji od takich wyrażeń, obliczenia algebraiczne na abstrakcyjnych strukturach grupowych, obliczenia związane z teorią liczb oraz obliczenia dotyczące modelowania, statystyki matematycznej oraz możliwość graficznej prezentacji wykresów funkcji.
Typowe operacje wykonywane na wyrażeniach: upraszczanie wyrażeń podstawianie wyrażeń symbolicznych za zmienne i redukcja wyrazów podobnych rozwijanie iloczynów rozkład wyrażeń na czynniki różniczkowanie symboliczne całkowanie symboliczne – całki oznaczone i nieoznaczone symboliczne rozwiązywanie niektórych typów równań i ich układów rozwiązywanie równań różniczkowych określonych typów obliczanie granic funkcji i ciągów obliczanie sum szeregów rozwijanie funkcji w szereg operacje na macierzach – mnożenie, odwracanie, obliczanie wyznacznika... obliczenia związane z teorią grup obliczenia związane ze statystyką matematyczną operacje na listach