Buchberger algorithm and systems of polynomial equations for MO problem solvers [CZ]