collaborators

1 paper

math.GR2026

Machine-checkable equivalence certificates at the length-14 Andrews-Curtis frontier

Josep Carreras

In rank 2, unconditional verification of the Andrews-Curtis conjecture stands at total relator length 12; at length 13 every balanced trivial-group presentation is AC-trivializable…