The following pages link to Alexei G. Myasnikov (Q639687):
Displayed 50 items.
- (Q260110) (redirect page) (← links)
- Quadratic equations in the Grigorchuk group. (Q260112) (← links)
- On asymptotic properties of verbal subsets in a group. (Q266232) (← links)
- The elementary theory of groups. A guide through the proofs of the Tarski conjectures. (Q400549) (← links)
- The word problem in the Baumslag group with a non-elementary Dehn function is polynomial time decidable. (Q408527) (← links)
- Groups elementarily equivalent to a free 2-nilpotent group of finite rank. (Q431679) (← links)
- Pregroups and the big powers condition. (Q431690) (← links)
- Random equations in nilpotent groups. (Q435936) (← links)
- Diophantine cryptography in free metabelian groups: theoretical base. (Q472158) (← links)
- Dimension in universal algebraic geometry. (Q483666) (← links)
- Log-space conjugacy problem in the Grigorchuk group (Q524647) (← links)
- The conjugacy problem in the Grigorchuk group is polynomial time decidable. (Q531917) (← links)
- Algebraic geometry over algebraic structures. IV: Equational domains and codomains (Q541983) (← links)
- Algebraic geometry over groups. III: Elements of model theory. (Q555757) (← links)
- Krull dimension of solvable groups. (Q619033) (← links)
- Groups elementarily equivalent to a free nilpotent group of finite rank (Q639689) (← links)
- Algorithmically finite groups. (Q640937) (← links)
- Universal algebraic geometry (Q656400) (← links)
- Algebraic geometry over algebraic structures. V: The case of arbitrary signature (Q694235) (← links)
- Universal theories for rigid soluble groups. (Q695805) (← links)
- Discriminating completions of hyperbolic groups (Q698123) (← links)
- Average-case complexity and decision problems in group theory. (Q703812) (← links)
- Exponentially generic subsets of groups (Q716408) (← links)
- Conjugacy in Baumslag's group, generic case complexity, and division in power circuits (Q727969) (← links)
- Generic case completeness (Q736607) (← links)
- Formularity of sets of Mal'tsev bases, and elementary theories of finite- dimensional algebras. II (Q788112) (← links)
- Algebraic geometry over algebraic structures. VIII: Geometric equivalences and special classes of algebraic structures (Q822654) (← links)
- Metabelian groups: full-rank presentations, randomness and Diophantine problems (Q831196) (← links)
- Some metric properties of automorphisms of groups. (Q855335) (← links)
- Elementary theory of free non-abelian groups. (Q855727) (← links)
- The isomorphism problem for finitely generated fully residually free groups. (Q860430) (← links)
- Elementary theory of a module over a local ring (Q915722) (← links)
- Group-based cryptography (Q925085) (← links)
- The solvability problem for quadratic equations over free groups is NP-complete (Q987391) (← links)
- Formularity of sets of Mal'tsev bases, and elementary theories of finite algebras. I (Q1052463) (← links)
- Extended Nielsen transformations and triviality of a group (Q1063111) (← links)
- Elementary group equivalence with the integral length function (Q1074717) (← links)
- Algebraic geometry over groups. I: Algebraic sets and ideal theory (Q1306828) (← links)
- Admissible sets in group theory (Q1317622) (← links)
- Toward a generalized computability theory (Q1346903) (← links)
- Two theorems about equationally Noetherian groups (Q1368050) (← links)
- Irreducible affine varieties over a free group. I: Irreducibility of quadratic equations and Nullstellensatz (Q1383968) (← links)
- Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups (Q1383969) (← links)
- A classification of fully residually free groups of rank three or less (Q1383970) (← links)
- Generic-case complexity, decision problems in group theory, and random walks. (Q1399190) (← links)
- Automorphic orbits in free groups. (Q1414027) (← links)
- Stallings foldings and subgroups of free groups (Q1599084) (← links)
- Random nilpotent groups, polycyclic presentations, and Diophantine problems (Q1676247) (← links)
- Algorithmically complex residually finite groups (Q1682244) (← links)
- Universal geometrical equivalence of the algebraic structures of common signature (Q1694706) (← links)