13P10 - Commutative rings and algebras :: Computational aspects of commutative algebra :: Polynomial ideals, Gröbner bases