Olga Kharlampovich, Alexei Myasnikov, “Implicit function theorem over free groups”, Journal of Algebra, 290, no. 1, 2005, 1
E. Yu. Daniyarova, A. G. Myasnikov, V. N. Remeslennikov, “Algebraic geometry over algebraic structures. II. Foundations”, J Math Sci, 185, no. 3, 2012, 389
Mark Sapir, “Asymptotic invariants, complexity of groups and related problems”, Bull. Math. Sci., 1, no. 2, 2011, 277
Olga Kharlampovich, Formal Power Series and Algebraic Combinatorics, 2000, 45
Caroline Mattes, Alexander Ushakov, Armin Weiß, 14519, SOFSEM 2024: Theory and Practice of Computer Science, 2024, 383
Olga Kharlampovich, Alexei G. Myasnikov, Combinatorial and Geometric Group Theory, 2010, 203
Igor G. Lysenok, Alexei G. Myasnikov, “A polynomial bound on solutions of quadratic equations in free groups”, Proc. Steklov Inst. Math., 274, no. 1, 2011, 136
Elena Czeizler, “The non-parametrizability of the word equation xyz=zvx: A short proof”, Theoretical Computer Science, 345, no. 2-3, 2005, 296
O Kharlampovich, A Myasnikov, “Irreducible Affine Varieties over a Free Group”, Journal of Algebra, 200, no. 2, 1998, 472
Benjamin Fine, Anthony Gaglione, Gerhard Rosenberger, Dennis Spellman, “The Tarski Problems and Their Solutions”, APM, 05, no. 04, 2015, 212