Post Made Community Wiki by S. Carnahan
show/hide this revision's text 1

For commutative algebra and algebraic geometry, in addition to the already mentioned CoCoA, there is Singular.