2 citations · 2 across the 2 of their papers we have counts for
2 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★ 2 cited
Implicit function theorem over free groups
O. Kharlampovich, A. Miasnikov
We introduce the notion of a regular quadratic equation and a regular NTQ system over a free group. We prove the results that can be described as Implicit function theorems for alg…