RO  EN
IMI/Publicaţii/CSJM/Ediţii/CSJM v.16, n.1 (46), 2008/

A New Attempt On The F5 Criterion

Authors: Christian Eder

Abstract

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.

Christian Eder
Fachbereich Mathematik, TU Kaiserslautern,
Postfach 3049, 67653
Kaiserslautern, Germany
E-mail:

Fulltext

Adobe PDF document0.17 Mb