Macaulay
Macaulay is a computer algebra system for mathematical computations in algebraic geometry and commutative algebra. At its core is a carefully tuned implementation of Grobner basis methods for manipulating systems of polynomial equations.