Sciweavers

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

11

CSJM
2008

favoriteEmaildiscussreport

65views more CSJM 2008»

A New Attempt On The F5 Criterion

13 years 3 months ago

A New Attempt On The F5 Criterion

Download www.math.md

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.

Christian Eder

Real-time Traffic

Algorithm | CSJM 2008 | Normalization Condition |

claim paper

Related Content

» Incremental Utility Elicitation with the Minimax Regret Decision Criterion

» Composite hypothesis testing by optimally distinguishable distributions

» Discriminative Feature Selection by Nonparametric Bayes Error Minimization

» Temporally Faithful Execution of Business Transactions

» A geometric proof of confluence by decreasing diagrams

» Exemplar Extraction using SpatioTemporal Hierarchical Agglomerative Clustering for Face Re...

» A new formulation of the Principle of Indifference

» An Analysis of Automatic Subroutine Discovery in Genetic Programming

» Segmenting Images Corrupted by Correlated Noise

Post Info
More Details (n/a)

Added	25 Jan 2011
Updated	25 Jan 2011
Type	Journal
Year	2008
Where	CSJM
Authors	Christian Eder

Comments (0)