Epistemic roles of diagrams in short proofs

DOI10.1007/978-3-031-15146-0_20zbMath1524.00009MaRDI QIDQ6108753

Henrik Kragh Sørensen, Mikkel W. Johansen

Publication date: 26 July 2023

Published in: Diagrammatic Representation and Inference (Search for Journal in Brave)

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Methodology of mathematics (00A35)

Cites Work

• Unnamed Item
• Forms and roles of diagrams in knot theory
• Acceptable gaps in mathematical proofs
• Lamps in slim rectangular planar semimodular lattices
• Manipulative imagination: how to move things around in mathematics
• ‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING
• A Typology of Mathematical Diagrams
• Mixing times for the TASEP in the maximal current phase
• Actions of automorphism groups of free groups on spaces of Jacobi diagrams. I

This page was built for publication: Epistemic roles of diagrams in short proofs