Appears in collection : 2026 - T1 - WS1 - Rigorous Illustrations - Their creation and evaluation for mathematical research

Imagine you are proving a proposition in an inversive model of Euclidean space and you’ve end up with is a chaotic pile of circles and lines. How do you decide what to include? When is the construction sufficient? Appropriately aesthetic? Reasonably communicative? The aim of this talk is to share some of the challenges one encounters when generating mathematical illustrations for the dual purposes of communication and validation.