|
This article is cited in 3 scientific papers (total in 3 papers)
Proof of the Faugère Criterion for the F5 Algorithm
O. N. German M. V. Lomonosov Moscow State University
Abstract:
he validity of the Faugère criterion for the F5 algorithm is established.
Keywords:
F5 algorithm, Faugère criterion, Gröbner basis, polynomial ideal, head term.
Received: 01.12.2009
Citation:
O. N. German, “Proof of the Faugère Criterion for the F5 Algorithm”, Mat. Zametki, 88:4 (2010), 502–510; Math. Notes, 88:4 (2010), 479–486
Linking options:
https://www.mathnet.ru/eng/mzm8849https://doi.org/10.4213/mzm8849 https://www.mathnet.ru/eng/mzm/v88/i4/p502
|
Statistics & downloads: |
Abstract page: | 525 | Full-text PDF : | 232 | References: | 43 | First page: | 30 |
|