A New Attempt On The F_5 Criterion

摘要

Faugere's criterion used in the F_5 algorithm is still not understand and thus there are not many implementations of this algorithm. We state its proof using syzygies to explain the normalization condition of a polynomial. This gives a new insight in the way the F_5 criterion works.