Explicit elementary-move certificates prove two MS(3) presentations AC-equivalent to AK(3) and realize the automorphism σ on the two remaining open MS(2) classes at length 14.
Title resolution pending
1 Pith paper cite this work, alongside 26 external citations. Polarity classification is still indexing.
1
Pith paper citing it
26
external citations · OpenAlex
fields
math.GR 1years
2026 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Machine-checkable equivalence certificates at the length-14 Andrews-Curtis frontier
Explicit elementary-move certificates prove two MS(3) presentations AC-equivalent to AK(3) and realize the automorphism σ on the two remaining open MS(2) classes at length 14.