"GCDs and factoring multivariate polynomials using Groebner bases" - читать интересную книгу автора (Gianni, Trager.)