Pages that link to "Item:Q3269139"
From MaRDI portal
The following pages link to On the algorithmic insolvability of the word problem in group theory (Q3269139):
Displaying 33 items.
- Linearly bounded conjugator property for mapping class groups (Q352117) (← links)
- Representation theorems for recursively enumerable sets and a conjecture related to Poonen's large subring of \(\mathbb Q\) (Q393224) (← links)
- Compressed word problems in HNN-extensions and amalgamated products (Q639849) (← links)
- Algorithmically finite groups. (Q640937) (← links)
- Complexity classes of equivalence problems revisited (Q716333) (← links)
- Digital topological method for computing genus and the Betti numbers (Q977455) (← links)
- A recursive presentation for Mihailova's subgroup. (Q990726) (← links)
- Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
- Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. II (Q1067006) (← links)
- The word and generator problems for lattices (Q1105626) (← links)
- Every finitely generated submonoid of a free monoid has a finite Malcev's presentation (Q1123270) (← links)
- Presentations et presentations simplifiables d'un monoide simplifiable (Q1160756) (← links)
- Decidability and independence of conjugacy problems in finitely presented monoids (Q1637219) (← links)
- On equational theories, unification, and (un)decidability (Q1825184) (← links)
- Compression techniques in group theory (Q2117795) (← links)
- The minimal genus of homology classes in a finite 2-complex (Q2172195) (← links)
- Groups finitely presented in Burnside varieties (Q2193231) (← links)
- Twisted conjugacy in Houghton's groups (Q2401720) (← links)
- Inverse monoids: decidability and complexity of algebraic questions. (Q2643082) (← links)
- Can you compute the operator norm? (Q2930634) (← links)
- Parallel Identity Testing for Skew Circuits with Big Powers and Applications (Q2946414) (← links)
- Orbit decidability and the conjugacy problem for some extensions of groups (Q3552098) (← links)
- Word problems (Q4170710) (← links)
- Poincaré and the early history of 3-manifolds (Q4899978) (← links)
- COMPRESSED DECISION PROBLEMS FOR GRAPH PRODUCTS AND APPLICATIONS TO (OUTER) AUTOMORPHISM GROUPS (Q4904513) (← links)
- The Poincaré Conjecture and Related Statements (Q5129781) (← links)
- (Q5135439) (← links)
- Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability (Q5164857) (← links)
- Residually finite groups (Q5592313) (← links)
- Some Undecidable Problems in Group Theory (Q5675710) (← links)
- Complexity of word problems for HNN-extensions (Q5918684) (← links)
- Complexity of word problems for HNN-extensions (Q5925702) (← links)
- Efficient simplicial replacement of semialgebraic sets (Q6103446) (← links)
