A New Proof of the F5 Algorithm
Yao Sun, Dingkang Wang · 2010
Abstract. The F5 algorithm is presented by Faugère in 2002. However, Faugère 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. 1.