Heather Macbeth

According to our database, Heather Macbeth authored at least 3 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of two.

2022

Formalized functional analysis with semilinear maps.

Frédéric Dupuis, Robert Y. Lewis, Heather Macbeth

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2012

Cayley graphs of given degree and diameter for cyclic, Abelian, and metacyclic groups.

Heather Macbeth, Jana Siagiová, Jozef Sirán

Discret. Math., 2012

2010

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