Зведений каталог бібліотек Харкова
Гердт, В. П. О роли инволютивных критериев при вычислении булевых базисов Гребнера [Текст] / Объединенный институт ядерных исследований, г.Дубна, Московской обл, Россия // Программирование. — 2009. — С. 43-52.
- Анотація:
В данной работе изучается эффективность применения четырех критериев в инволютивном алгоритме, основанном на делении Поммаре, при его применении для построения булевых базисов Гребнера.
- Є складовою частиною документа:
Программирование [Текст] // Программирование ; РАН - М. : Наука. — 2009.
- Теми документа
