| |
Гердт, В. П.
О роли инволютивных критериев при вычислении булевых и базисов Гребнера [Текст] / В. П. Гердт, М. В. Зинин
// Программирование. – 2008. – № 2. – С. 43-52.
Изучается эффективность применения четырех критериев в инволютивном алгоритме, основанном на делении Поммаре, при его применении для построения булевых базисов Гребнера. |
