I want some recomendation on which software I should install on my computer, an open source program for general abstract mathematical purposes (as opposed to applied mathematics).

I would likely use it for group theory, number theory, algebraic geometry and probably polytopes.

The kind of program I have in mind is Mathematica or Matlab. Altough probably those are not designed por abstract mathematics.

Any suggestions?