Fast Searching for Andrews–Curtis Trivializations

DOI10.1080/10586458.2006.10128962zbMATH Open1112.20027OpenAlexW2000481804MaRDI QIDQ3428098FDOQ3428098

Authors: R. Sean Bowman, Stephen B. McCaul 

Publication date: 27 March 2007

Published in: Experimental Mathematics (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/225323

Recommendations

• BREADTH-FIRST SEARCH AND THE ANDREWS–CURTIS CONJECTURE
• Conjugacy search problem and the Andrews-Curtis conjecture
• GENETIC ALGORITHMS AND THE ANDREWS–CURTIS CONJECTURE
• Tietze transformations with weighted substring search
• The Andrews-Curtis conjecture, term rewriting and first-order proofs

zbMATH Keywords

Cayley graphscomputer searchtrees of wordsAndrews-Curtis conjectureAndrews-Curtis transformations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Generators, relations, and presentations of groups (20F05) Combinatorics on words (68R15) Software, source code, etc. for problems pertaining to group theory (20-04)

Cited In (4)

• Morse theory for group presentations
• Tietze transformations with weighted substring search
• Title not available (Why is that?)
• Conjugacy search problem and the Andrews-Curtis conjecture

This page was built for publication: Fast Searching for Andrews–Curtis Trivializations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3428098)