CoCoA (ang. COmputations in COmmutative Algebra) - jest to wolny system algebry komputerowej przeznaczony do obliczeń liczbowych i wielomianowych. System jest używany głównie przez naukowców, ale może być użyteczny także dla "prostych" zadań"
(2000)
Mapiesoft
Derive-program z rodziny CAS, który pozwala na wykonywanie obliczeń symbolicznych i numerycznych z wielu działów matematyki (1988)
Maple-program komputerowy typu CAS służący do wykonywania obliczeń symbolicznych (1981)
Mathematica - komercyjny system obliczeń symbolicznych i numerycznych (1988) .
MathCad - komercyjny program algebry komputerowej (CAS) stworzony przez firmę Mathsoft o możliwościach zbliżonych do programu Mathematica lub Mapie (1986)
MuPAD - komercyjny program algebry komputerowej (CAS) (1994) Mathcad;
Maxima - program komputerowy typu CAS (systemów algebry komputerowej), które mają wspomagać wykonywanie obliczeń symbolicznych. Głównym składnikiem programu jest interpreter (1982)
Sagę (wcześniej SAGĘ - akronim nazwy Software for Algebra and Geometry Experimentation) - System algebry komputerowej napisanego w Pythonie i Cythonie (2009)
Yacas - program typu CAS (wspomagający obliczenia symboliczne) o otwartym źródl rozprowadzany na licencji GPL. Nazwa jest akronimem od słów Yet Another Computęc Algebra System (2007)