## 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.
- Symbolica which seems like an interesting, and open source CAS (makes money by selling licenses to universities, I guess the same way that MAGMA, the system developed at Sydney University where I studied made money (not for profit in their case I believe)).