|
Записки научных семинаров ЛОМИ, 1982, том 114, страницы 164–173
(Mi znsl1775)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Диалоговая система символьных вычислений в группах Бернеайдовского типа
Е. И. Монарх, А. И. Скопин
Аннотация:
Приводится описание системы программирования, ориентированной
на применение в теории групп. Диалоговая система
предназначена для автоматизации весьма громоздких аналитических
вычислений, возникающих при исследовании различных групп Бернсайда. Описываются задача, потребовавшая разработки диалоговой системы,
и методика, положенная в основу $ALCOS/G-B$. Дается
описание средотв, предоставляемых пользователю системы. В качестве
примера описывается применение $ALCOS/G-B$ для вычисления
класса нильпотентности одной из групп Берноайдовского типа-группы с двумя образующими экспоненты $8$, коммутант которой имеет
класс нильпотентности 3. Оказалось, что класс нильпотентности
такой группы не превосходит 24. Библ. 4 назв.
Образец цитирования:
Е. И. Монарх, А. И. Скопин, “Диалоговая система символьных вычислений в группах Бернеайдовского типа”, Модули и алгебраические группы, Зап. научн. сем. ЛОМИ, 114, Изд-во «Наука», Ленинград. отд., Л., 1982, 164–173; J. Soviet Math., 27:4 (1984), 2955–2962
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl1775 https://www.mathnet.ru/rus/znsl/v114/p164
|
|