A New Attempt On The F5 Criterion
Închide
Conţinutul numărului revistei
Articolul precedent
Articolul urmator
780 3
Ultima descărcare din IBN:
2017-04-28 18:24
Căutarea după subiecte
similare conform CZU
519.85:004.421 (1)
Cercetări operaționale (OR) teorii şi metode matematice (168)
Programe. Software (293)
SM ISO690:2012
EDER, Cristian. A New Attempt On The F5 Criterion. In: Computer Science Journal of Moldova, 2008, nr. 1(46), pp. 4-14. ISSN 1561-4042.
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Computer Science Journal of Moldova
Numărul 1(46) / 2008 / ISSN 1561-4042 /ISSNe 2587-4330

A New Attempt On The F5 Criterion
CZU: 519.85:004.421

Pag. 4-14

Eder Cristian
 
Fachbereich Mathematik, Technische Universitat Kaiserslautern
 
Disponibil în IBN: 15 decembrie 2013


Rezumat

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.