In this presentation I will start by giving a brief introduction to the field of Diagrammatic Reasoning. Then I will present a summary of the book “Mathematical Reasoning with Diagrams: From Intuition to Automation” by Mateja Jamnik. From the cover of the book:

Theorems in automated theorem proving are usually proved by formal logical proofs. However, there is a subset of problems that humans can prove by the use of geometric operations on diagrams, so-called diagrammatic proofs. This book investigates and describes how such diagrammatic reasoning about mathematical theorems can be automated.