When is enough enough? Proving in an inversive model of Euclidean space
De Stacy Brown
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.