## Computer algebra systems #

Computer algebra systems (CAS) allow you to perform algebraic manipulations, simplifications and sometimes proofs with a computer.

I have mostly worked with Wolfram Mathematica and GAP.

### Links and resources #

- Things Fredrik Johansson would like to see in an ideal CAS.