Mat. Zametki, 2010 Volume 88, Issue 4, Pages 502–510
(Mi mzm8849)
|
This article is cited 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.
UDC:
512.6
Received: 01.12.2009
DOI:
10.4213/mzm8849
© , 2024
Fulltext:
PDF file (460 kB)
