Anyone know if there is a survey of Gröbner(-Shirshov) bases out there that shows e.g. a big Venn diagram or containment diagram of which results generalize which other results? So many results on more and more general types of rings, I can't keep them all straight.

#algebra #ComputationalAlgebra #algorithms #math #CommutativeAlgebra