| |
Галкин, В. В.
Остановка алгоритма F5 [Текст] / В. В. Галкин
// Программирование. – 2014. – № 2. – С. 12-25.
Алгоритм F5, вычисляющий базис Грёбнера порождённого однородными многочленами идеала, был предложен в 2002 г. В этой работе будет доказано, что алгоритм останавливается на любых входных данных. |
