A New Attempt On The F5 Criterion

Faug`ere's criterion used in the F5 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 F5 criterion works.

• Type: Journal
• Year: 2008
• Where: CSJM
• Authors: Christian Eder
• Keywords: Algorithm, CSJM 2008, Normalization Condition