Proof in C17 Algebra. - Brendan Larvor (Perspectives On Mathematical Practices, 2007)

Between History and Logic. - Brendan Larvor (Induction, Algorithmic Learning Theory, and Philosophy, 2007)

Dialectics in mathematics. - Brendan Larvor; Albert Lautman (FotFS, 2008)

How to think about informal proofs. - Brendan Larvor (Synth., 2012)

History and philosophy of infinity - Selected papers from the conference "Foundations of the Formal Sciences VIII" held at Corpus Christi College, Cambridge, England, 20-23 September 2013. - Brendan P. Larvor; Benedikt Löwe; Dirk Schlimm (Synth., 2015)

From Euclidean geometry to knots and nets. - Brendan Larvor (Synth., 2019)

Why 'scaffolding' is the wrong metaphor: the cognitive usefulness of mathematical representations. - Brendan Larvor (Synth., 2020)