Involutive division technique: some generalizations and optimizations

В дополнение к ранее введенным инволютивным делениям на множестве мономов рассматривается новый класс делений, индуцированный допустимыми упорядочениями мономов. Доказывается нётеровость введенных инволютивных делений. Инволютивные деления позволяют строить инволютивные базисы Грёбнера для полиномиальных идеалов. Предлагаются также способы оптимизации алгоритма построения базиса, основанные на свойствах конкретных инволютивных делений. Библ. – 17 назв.