Диалоговая система символьных вычислений в группах Бернеайдовского типа

Приводится описание системы программирования, ориентированной на применение в теории групп. Диалоговая система предназначена для автоматизации весьма громоздких аналитических вычислений, возникающих при исследовании различных групп Бернсайда. Описываются задача, потребовавшая разработки диалоговой системы, и методика, положенная в основу $ALCOS/G-B$. Дается описание средотв, предоставляемых пользователю системы. В качестве примера описывается применение $ALCOS/G-B$ для вычисления класса нильпотентности одной из групп Берноайдовского типа-группы с двумя образующими экспоненты $8$, коммутант которой имеет класс нильпотентности 3. Оказалось, что класс нильпотентности такой группы не превосходит 24. Библ. 4 назв.