combinatorial-group-theory

Andrews-Curtis Conjecture (ACC) Challenge. Short trivialisations of balanced presentations of the trivial group: the AC moves, a replay verifier and a measured baseline search, for the SAIR Foundation competition.

The coin problem (Frobenius problem) is a mathematical problem that asks what is the largest monetary amount that cannot be obtained using only coins of specified denominations.

📖 Word Processing in Groups

A new approach for representing Thompson's group F elements as arc forest diagrams

Investigations into the Andrews–Curtis conjecture (1965) in combinatorial group theory

Python implementation of Stallings foldings for finitely generated subgroups of amalgams of finite groups. Extra tools for Cayley Graph computation from presentation.