Adams, C. C. (1994). The Knot Book. New York: W. H. Freeman.

Alexander, J. W. (1928). Topological invariants of knots and links. Transactions of the American Mathematical Society, 30(2), 275–306.

Ammon, S. (2015). Einige Überlegungen zur generativen und instrumentellen Operativität von technischen Bildern. In Depner, H., editor. Visuelle Philosophie. Würzburg: Königshausen & Neumann.

Avigad, J., Dean, E., & Mumma, J. (2009). A formal system for Euclid’s *Elements*
. The Review of Symbolic Logic, 2(04), 700–768.

Bredon, G. E. (1993). Topology and Geometry, Vol. 139. New York: Springer.

Brown, J. R. (2008). Philosophy of Mathematics: A Contemporary Introduction to the World of Proofs and Pictures. New York and London: Routledge.

Carter, J. (2010). Diagrams and proofs in analysis. International Studies in the Philosophy of Science, 24(1), 1–14.

Colyvan, M. (2012). An Introduction to the Philosophy of Mathematics. Cambridge: Cambridge University Press.

De Toffoli, S. & Giardino, V. (2014). Roles and forms of diagrams in knot theory. Erkenntnis, 79(3), 829–842.

De Toffoli, S. & Giardino, V. (2015). An Inquiry into the Practice of Proving in Low-dimensional Topology. Boston Studies in the Philosophy and History of Science, Vol. 308, Chapter 15. Boston: Springer, pp. 315–336.

Dutilh-Novaes, C. (2012). Formal Languages in Logic: A Philosophical and Cognitive Analysis. Cambridge: Cambridge University Press.

Feferman, S. (2012). And so on…: reasoning with infinite diagrams. Synthese, 186(1), 371–386.

Giaquinto, M. (1994). Epistemology of visual thinking in elementary real analysis. The British Journal for the Philosophy of Science, 45(3), 789–813.

Giaquinto, M. (2007). Visual Thinking in Mathematics. Oxford University Press.

Giaquinto, M. (2008). Visualizing in mathematics. In Mancosu, P., editor. The Philosophy of Mathematical Practice. Oxford: Oxford University Press.

Giardino, V. & Greenberg, G. (2015). Introduction: Varieties of iconicity. Review of Philosophy and Psychology, 6(1), 1–25.

Goodman, N. (1976). Languages of Art (second edition). Indianapolis: Hackett Publishing Company.

Grosholz, E. R. (2007). Representation and Productive Ambiguity in Mathematics and the Sciences. Oxford: Springer.

Halimi, B. (2012). Diagrams as sketches. Synthese, 186(1), 387–409.

Ishiguro, H. (1990). Leibniz’s Philosophy of Logic and Language. Cambridge University Press.

Kanizsa, G. (1980). Grammatica del vedere: saggi su percezione e gestalt. Il mulino.

Krämer, S. (1988). Symbolische Maschinen: die Idee der Formalisierung in geschichtlichem Abriß. Wissenschaftliche Buchgesellschaft.

Krämer, S. (2003). Writing, notational iconicity, calculus: On writing as a cultural technique. Modern Language Notes, 118(3), 518–537.

Lang, S. (2002). Algebra (revised third edition). Springer.

Larkin, J. H. & Simon, H. A. (1987). Why a diagram is (sometimes) worth ten thousand words. Cognitive Science, 11(1), 65–100.

Macbeth, D. (2012a). Diagrammatic reasoning in Frege’s *Begriffsschrift*
. Synthese, 186(1), 289–314.

Macbeth, D. (2012b). Proof and understanding in mathematical practice. In Giardino, V., Moktefi, A., Mols, S., & Bendegem, J. P. V., editors. From Practice to Results in Logic and Mathematics. Philosophia Scientiae, Vol. 16. Kimé, pp. 29–54.

Macbeth, D. (2012c). Seeing how it goes: Paper-and-pencil reasoning in mathematical practice. Philosophia Mathematica, 20(1), 58–85.

Mancosu, P. (2008). The Philosophy of Mathematical Practice. Oxford University Press.

Mancosu, P., Jørgensen, K. F., & Pedersen, S. A. (2005). Visualization, Explanation and Reasoning Styles in Mathematics, Vol. 327. Springer.

Manders, K. (2008). The Euclidean diagram. In Mancosu, P., editor. The Philosophy of Mathematical Practice. Oxford University Press, pp. 112–183.

Netz, R. (1998). Greek mathematical diagrams: Their use and their meaning. For the Learning of Mathematics, 18(3), 33–39.

Panofsky, E. (1991). Perspective as Symbolic Form (revised edition). New York: Zone Books.

Perini, L. (2005). Visual representations and confirmation. Philosophy of Science, 72(5), 913–926.

Rosch, E. (1999). Reclaiming concepts. Journal of Consciousness Studies, 6(11–12), 11–12.

Schlimm, D. & Neth, H. (2008). Modeling ancient and modern arithmetic practices: Addition and multiplication with arabic and roman numerals In Sloutsky, V.
Love, B. & McRae, K. (Editors), 30th Annual Conference of the Cognitive Science Society (pp. 2097–2102). Austin, TX: Cognitive Science Society.

Shin, S.-J. (2004). Heterogeneous reasoning and its logic. The Bulletin of Symbolic Logic, 10(1), 86–106.

Simmons, H. (2011). An Introduction to Category Theory. Cambridge University Press.

Weber, Z. (2013). Figures, formulae, and functors. In Shin, S.-J. and Moktefi, A., editors. Visual Reasoning with Diagrams. Basel: Birkhäuser, pp. 153–170.

Weyl (1995 (original in Gerlman 1932)). Topology and abstract algebra as two roads of mathematical comprehension. The American Mathematical Monthly, 102(5), 453–460.

Winther, R. G. (2017). When Maps Become the World. Chicago: The University of Chicago Press.

Wüthrich, A. (2010). The Genesis of Feynman Diagrams, Vol. 26. Netherlands: Springer Science & Business Media.