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 | |||||
|
|||||
CZU: 519.85:004.421 | |||||
Pag. 4-14 | |||||
|
|||||
Descarcă PDF | |||||
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. |
|||||
|