Large Cayley graphs and vertex-transitive non-Cayley graphs of given degree and diameter. - Heather Macbeth; Jana Siagiová; Jozef Sirán; Tomás Vetrík (J. Graph Theory, 2010)

Cayley graphs of given degree and diameter for cyclic, Abelian, and metacyclic groups. - Heather Macbeth; Jana Siagiová; Jozef Sirán (Discret. Math., 2012)

Algorithm and Abstraction in Formal Mathematics. - Heather Macbeth (ICMS, 2024)

Integrals Within Integrals: A Formalization of the Gagliardo-Nirenberg-Sobolev Inequality. - Floris van Doorn; Heather Macbeth (ITP, 2024)

Anatomy of a Formal Proof. - Jeremy Avigad; Johan Commelin; Heather Macbeth; Adam Topaz (CoRR, 2024)

Formalized Functional Analysis with Semilinear Maps. - Frédéric Dupuis; Robert Y. Lewis; Heather Macbeth (J. Autom. Reason., 2024)