The following pages link to EQUATIONS IN A FREE GROUP (Q3043354):
Displayed 32 items.
- Solvability of word equations modulo finite special and confluent string-rewriting systems is undecidable in general (Q673984) (← links)
- Algorithmic undecidability of compatibility problem for equations in free groups: explicit equations with one commutator-type constraint (Q827048) (← links)
- The isomorphism problem for finitely generated fully residually free groups. (Q860430) (← links)
- Extending free pregroups with lower bounds (Q993496) (← links)
- Makanin's algorithm is not primitive recursive (Q1127320) (← links)
- Pseudogroups of isometries of \(\mathbb{R}\) and Rips' theorem on free actions on \(\mathbb{R}\)-trees (Q1335170) (← links)
- Unification in commutative semigroups (Q1383954) (← links)
- Loops in Reeb graphs of \(n\)-manifolds (Q1650793) (← links)
- Canonical representatives and equations in hyperbolic groups (Q1895691) (← links)
- Stable actions of groups on real trees (Q1899735) (← links)
- Generic elements of free groups (Q1901981) (← links)
- Retracts and verbally closed subgroups with respect to relatively free soluble groups (Q2030780) (← links)
- On equations and first-order theory of one-relator monoids (Q2051781) (← links)
- Unambiguous injective morphisms in free groups (Q2105430) (← links)
- Word equations in the context of string solving (Q2163975) (← links)
- A product theorem in free groups. (Q2445314) (← links)
- Co-rank and Betti number of a group (Q2948009) (← links)
- The equation w(x, y) = u over free groups: an algebraic approach (Q3393376) (← links)
- Ambiguity of Morphisms in a Free Group (Q3449361) (← links)
- Solving one-variable equations in free groups (Q3619537) (← links)
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups (Q4558123) (← links)
- The word matching problem is undecidable for finite special string-rewriting systems that are confluent (Q4571993) (← links)
- Diophantine problems in solvable groups (Q4997864) (← links)
- The Diophantine problem in the classical matrix groups (Q5033989) (← links)
- Approximation of metric spaces by Reeb graphs: Cycle rank of a Reeb graph, the co-rank of the fundamental group, and large components of level sets on Riemannian manifolds (Q5080823) (← links)
- (Q5150533) (← links)
- (Q5239606) (← links)
- Algebraic Geometry over Heyting Algebras (Q5859227) (← links)
- On the Equationally Artinian Groups (Q5859255) (← links)
- Solving word equations (Q5916475) (← links)
- Ideals of equations for elements in a free group and context-free languages (Q6054798) (← links)
- Algebraic and logical aspects of unification (Q6169562) (← links)