A New Attempt On The F5 Criterion

Faugère'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.

Bibliographic Details
Main Author:	Christian Eder
Format:	Article
Language:	English
Published:	Institute of Mathematics and Computer Science of the Academy of Sciences of Moldova 2008-04-01
Series:	Computer Science Journal of Moldova
Online Access:	http://www.math.md/files/csjm/v16-n1/v16-n1-(pp4-14).pdf

id	doaj-f26e5b808abf44c7a96a56a9a400f173
record_format	Article
spelling	doaj-f26e5b808abf44c7a96a56a9a400f1732020-11-25T00:10:59ZengInstitute of Mathematics and Computer Science of the Academy of Sciences of MoldovaComputer Science Journal of Moldova1561-40422008-04-01161(46)414A New Attempt On The F5 CriterionChristian Eder0Fachbereich Mathematik, TU Kaiserslautern, Postfach 3049, 67653 Kaiserslautern, GermanyFaugère'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.http://www.math.md/files/csjm/v16-n1/v16-n1-(pp4-14).pdf
collection	DOAJ
language	English
format	Article
sources	DOAJ
author	Christian Eder
spellingShingle	Christian Eder A New Attempt On The F5 Criterion Computer Science Journal of Moldova
author_facet	Christian Eder
author_sort	Christian Eder
title	A New Attempt On The F5 Criterion
title_short	A New Attempt On The F5 Criterion
title_full	A New Attempt On The F5 Criterion
title_fullStr	A New Attempt On The F5 Criterion
title_full_unstemmed	A New Attempt On The F5 Criterion
title_sort	new attempt on the f5 criterion
publisher	Institute of Mathematics and Computer Science of the Academy of Sciences of Moldova
series	Computer Science Journal of Moldova
issn	1561-4042
publishDate	2008-04-01
description	Faugère'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.
url	http://www.math.md/files/csjm/v16-n1/v16-n1-(pp4-14).pdf
work_keys_str_mv	AT christianeder anewattemptonthef5criterion AT christianeder newattemptonthef5criterion
_version_	1725405867048697856

A New Attempt On The F5 Criterion

Similar Items