Mateja Jamnik

• Diagrammatic Representation and Inference
• Mathematical Reasoning with Diagrams
• Mathematical Reasoning with Diagrams