"Heuristic selection strategy for Groebner bases" - читать интересную книгу автора (Czapor.)