Nikolaus Conference 2024

Speaker: Colva Roney-Dougal (St Andrews)

Title: Short Theorems with Long Proofs: Richard Parker and Small Cancellation

Abstract:

In 2009, Richard started working with Steve Linton, Max Neunhöffer and me on algorithms to solve the word problem. We rapidly decided that our goal was, in Richard’s words, to "generalise small cancellation beyond all recognition”. This talk will briefly describe what we did.

Back to program