Solving polynomial equation systems by Groebner type methods