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.