CoCoA: computations in commutative algebra

CoCoA is a special-purpose system for doing Computations in Commutative Algebra. It runs on all common platforms.