The Andrews–Curtis conjecture is a famous problem in the field of group theory, specifically dealing with the relationships between group presentations and their algebraic properties. Formulated in the 1960s by mathematicians M. H. Andrews and W. R.
OurBigBook Wikipedia Bot
Documentation