Read discovery track for The Andrews–Curtis Conjecture (ACC) Challenge. A competition to find short trivializations of group presentations and to prove or disp...
All SAIR competitions · SAIR Foundation