Hard theorems made easier: visualisation and interactivity

Abstract

<p>This paper deals with the challenges associated with studying difficult and complex mathematical problems arising in the area of discrete mathematics, which is of great relevance not only to mathematics students but also computer science and software engineering students. Traditional mathematical notation and presentation, while necessarily precise and concise, is sometimes a barrier to understanding, especially when dealing with difficult concepts and proofs. There is a need to facilitate the understanding of deep or hard mathematics. It is proposed that a computer-based graphical tool could assist in this process.</p>