3 papers
math.GR2004
Effective JSJ Decompositions
Olga Kharlampovich, Alexei Myasnikov
In this paper we describe an elimination process which is a deterministic rewriting procedure that on each elementary step transforms one system of equations over free groups into…
math.GR2003
Balanced presentations of the trivial group on two generators and the Andrews-Curtis conjecture
Alexei D. Miasnikov, Alexei G. Myasnikov
The Andrews-Curtis conjecture states that every balanced presentation of the trivial group can be reduced to the standard one by a sequence of the elementary Nielsen transformation…
math.GR2003
Whitehead method and Genetic Algorithms
Alexei D. Miasnikov, Alexei G. Myasnikov
In this paper we discuss a genetic version (GWA) of the Whitehead's algorithm, which is one of the basic algorithms in combinatorial group theory. It turns out that GWA is surprisi…