Automated theorem proving reveals a lengthy Andrews–Curtis trivialization for a Miller-Schupp trivial group presentation - Lisitsa, Alexei (Examples and counterexamples, 2025)
Keywords: AC-trivializations; Andrews–Curtis conjecture; Automated theorem proving; Combinatorial group theory; Combinatorial group theory; AC-trivializations; Automated theorem proving; Andrews–Curtis conjecture