Гердт, В. П. О роли инволютивных критериев при вычислении булевых базисов Гребнера [Текст] / В. П. Гердт, М. В. Зинин // Программирование. - 2009. - N 2. - С. 43-52. - Библиогр.: с. 51-52 (19 назв. ) . - ISSN 0132-3474
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): базисы Гребнера -- Гребнера базисы -- инволютивные алгоритмы -- компьютерные эксперименты -- деление Поммаре -- Поммаре деление Аннотация: Изучается эффективность применения четырех критериев в инволютивном алгоритме, основанном на делении Поммаре, при его применении для построения булевых базисов Гребнера. Доп.точки доступа: Зинин, М. В. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |