A competition to find short trivializations of group presentations and to prove or disprove the Andrews–Curtis conjecture and its stable version.
All SAIR competitions · SAIR Foundation