Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

CORR
2010
Springer

favoriteEmaildiscussreport

100views Education» more CORR 2010»

A New Proof of the F5 Algorithm

13 years 2 months ago

A New Proof of the F5 Algorithm

Download www.mmrc.iss.ac.cn

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.

Yao Sun, Dingkang Wang

Real-time Traffic

Algorithm | CORR 2010 | Correctness | Education | Rigorous Proofs |

claim paper

Related Content

» A New Attempt On The F5 Criterion

» Automated Proof Compression by Invention of New Definitions

» New Security Proofs for the 3GPP Confidentiality and Integrity Algorithms

» PDSPN A New ProofNumber Search Algorithm

» A New Sequential Optimality Condition for Constrained Optimization and Algorithmic Consequ...

» The missing observations theorem and a new proof of Levinsons recursion

» Design and formal proof of a new optimal image segmentation program with hypermaps

» A New Synchronous Lower Bound for Set Agreement

» A new algorithm for testing if a regular language is locally threshold testable

Post Info
More Details (n/a)

Added	24 Jan 2011
Updated	24 Jan 2011
Type	Journal
Year	2010
Where	CORR
Authors	Yao Sun, Dingkang Wang

Comments (0)