collaborators

1 paper

cs.LO2025

Stable Andrews-Curtis trivialization of AK(3) revisited. A case study using automated deduction

Alexei Lisitsa

Recent work by Shehper et al. (2024) demonstrated that the well-known Akbulut-Kirby AK(3) balanced presentation of the trivial group is stably AC-equivalent to the trivial presenta…