Аннотация:
Предлагается усовершенствованный алгоритм Бухбергера, в котором учтены известные и использованы новые критерии исключения критических пар. Новые критерии основаны на построении минимальной системы образующих модуля, который порождается критическими сизигиями.
Полный текст:
PDF файл (176 kB)