A New Proof of the F5 Algorithm

The F5 algorithm is presented by Faug`ere in 2002. However, Faug`ere have not provide the rigorous proofs so far. In this paper, we will give a new complete proof and hence reveal the essence of this algorithm. The proof consists of the correctness and termination of the algorithm and the correctness of two criteria in it.

• Type: Journal
• Year: 2010
• Where: CORR
• Authors: Yao Sun, Dingkang Wang
• Keywords: Algorithm, CORR 2010, Correctness, Education, Rigorous Proofs