Computer Algebra Systems (CAS) are software programs designed to perform symbolic mathematics. They manipulate mathematical expressions in a way that is similar to how humans do algebra: by applying mathematical rules and properties symbolically rather than numerically. This allows users to perform complex calculations, simplifications, and transformations involving algebraic expressions, calculus, linear algebra, and other areas of mathematics.