Dialog system of symbolic calculations in burnside groups
Zapiski Nauchnykh Seminarov POMI, Modules and algebraic groups, Tome 114 (1982), pp. 164-173
Voir la notice de l'article provenant de la source Math-Net.Ru
A programming system designed for use in group theory is described. The $ALCOS/G-B$ dialog system automates the very tedious analytic calculations that arise in the study of various Burnside groups. A problem that requires development of a dialog system and the procedures underlying ALCOS/G-B are described. The means given to the user of the system are indicated. The use of $ALCOS/G-B$ to calculate the nilpotency class of one of the Burnside groups with two generators of exponent 8 whose commutator has nilpotency class 3 is described as an example. It is found that the nilpotency class of this group does not exceed 24.
@article{ZNSL_1982_114_a14,
author = {E. I. Monarkh and A. I. Skopin},
title = {Dialog system of symbolic calculations in burnside groups},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {164--173},
publisher = {mathdoc},
volume = {114},
year = {1982},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1982_114_a14/}
}
E. I. Monarkh; A. I. Skopin. Dialog system of symbolic calculations in burnside groups. Zapiski Nauchnykh Seminarov POMI, Modules and algebraic groups, Tome 114 (1982), pp. 164-173. http://geodesic.mathdoc.fr/item/ZNSL_1982_114_a14/