Fast Searching for Andrews–Curtis Trivializations

DOI10.1080/10586458.2006.10128962MaRDI QIDQ3428098zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(4)

• Morse theory for group presentations
• Tietze transformations with weighted substring search
• scientific article; zbMATH DE number 3908658 (Why is no real title available?)
• 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)