"Algorithm 628. Groebner bases for polynomial ideals" - читать интересную книгу автора (Winkler, Buchberger et al.)