"New efficient algorithm for Groebner bases" - читать интересную книгу автора (Faugere.)