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.

  • 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)).