The following pages link to The word problem (Q5895987):
Displaying 50 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)
- Finding non-trivial elements and splittings in groups. (Q716463) (← links)
- Non-commutative Gröbner bases in algebras of solvable type (Q752147) (← links)
- The triviality problem for profinite completions (Q894233) (← links)
- Gröbner-Shirshov basis of the Adyan extension of the Novikov group. (Q947815) (← links)
- Models of active learning in group-structured state spaces (Q963065) (← links)
- A recursive presentation for Mihailova's subgroup. (Q990726) (← links)
- Gröbner-Shirshov basis for the braid group in the Birman-Ko-Lee generators. (Q1012560) (← links)
- Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
- Reductions in tree replacement systems (Q1082092) (← links)
- Existence theorems in mathematics (Q1114666) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Paramodulated connection graphs (Q1257912) (← links)
- On the expressivity of feature logics with negation, functional uncertainty, and sort equations (Q1314281) (← links)
- On equational theories, unification, and (un)decidability (Q1825184) (← links)
- Generalized sums over histories for quantum gravity. II: Simplicial conifolds (Q1966070) (← links)
- Join-completions of partially ordered algebras (Q2004958) (← links)
- Eliminating unbounded search in computable algebra (Q2011637) (← links)
- Symmetric and asymmetric cryptographic key exchange protocols in the octonion algebra (Q2032302) (← links)
- A constructive approach to Freyd categories (Q2035866) (← links)
- Asymptotic density and computability (Q2066410) (← links)
- Compression techniques in group theory (Q2117795) (← links)
- A Lyndon's identity theorem for one-relator monoids (Q2135760) (← links)
- A simple group generated by involutions interchanging residue classes of the integers. (Q2268160) (← links)
- Computing fundamental groups from point clouds (Q2352510) (← links)
- Gröbner-Shirshov bases for some Lie algebras (Q2360276) (← links)
- Twisted conjugacy in Houghton's groups (Q2401720) (← links)
- Gröbner-Shirshov bases, conformal algebras, and pseudo-algebras. (Q2462029) (← links)
- Recursively enumerable degress and the conjugacy problem (Q2533187) (← links)
- A new non-Hopf group (Q2533193) (← links)
- On recognising Hopf groups (Q2535693) (← links)
- On the complexity of the identity problem for finitely defined groups (Q2544779) (← links)
- Simple examples of groups with unsolvable word problem (Q2545563) (← links)
- Inverse monoids: decidability and complexity of algebraic questions. (Q2643082) (← links)
- An automaton group with \textsf{PSPACE}-complete word problem (Q2701072) (← links)
- COMPUTABLE ABELIAN GROUPS (Q2795203) (← links)
- An introduction to computable model theory on groups and fields (Q2882823) (← links)
- Can you compute the operator norm? (Q2930634) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 (Q3138023) (← links)
- Active Learning of Group-Structured Environments (Q3529932) (← links)
- Orbit decidability and the conjugacy problem for some extensions of groups (Q3552098) (← links)
- GRÖBNER–SHIRSHOV BASES FOR FREE INVERSE SEMIGROUPS (Q3636019) (← links)
- Efficient Computation in Groups and Simplicial Complexes (Q3669634) (← links)
- Four-dimensional topology: an introduction (Q3933639) (← links)
- The word problem and the isomorphism problem for groups (Q3941599) (← links)
- Clifford monoid presentations (Q4008583) (← links)
- The word problem for lattice ordered groups (Q4085782) (← links)
