The Andrews-Curtis conjecture, term rewriting and first-order proofs

DOI10.1007/978-3-319-96418-8_41MaRDI QIDQ1662269zbMATH OpenOpenAlexFDO

Authors Alexej P. Lisitsa

Publication date 17 August 2018

Full work available at URL https://doi.org/10.1007/978-3-319-96418-8_41

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Grammars and rewriting systems (68Q42)

Recommendations

• Conditional term rewriting and first-order theorem proving
• scientific article; zbMATH DE number 3930371
• Compositional term rewriting: An algebraic proof of Toyama's theorem
• Combinatorics of first order structures and propositional proof systems
• Publication:4888337
• Complexity of the first-order theory of almost all finite structures
• The problems of cyclic equality and conjugacy for finite complete rewriting systems
• Proving confluence of term rewriting systems via persistency and decreasing diagrams
• Kleene theorem in partial Conway theories with applications
• scientific article; zbMATH DE number 569742

Cited in

(8)

• Conjugacy search problem and the Andrews-Curtis conjecture
• BREADTH-FIRST SEARCH AND THE ANDREWS–CURTIS CONJECTURE
• Fast Searching for Andrews–Curtis Trivializations
• scientific article; zbMATH DE number 2070158 (Why is no real title available?)
• Fitness landscapes and the Andrews-Curtis conjecture
• Stable Andrews-Curtis trivialization of \(\mathrm{AK}(3)\) revisited. A case study using automated deduction
• New Andrews-Curtis trivializations for Miller-Schupp group presentations
• Probabilistic automaton classifier applied to examples related to the Andrews-Curtis conjecture

Describes a project that uses

Uses Software

• Prover9
• Mace4

This page was built for publication: The Andrews-Curtis conjecture, term rewriting and first-order proofs

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