Heather Macbeth

Orcid: 0000-0002-0290-4172

According to our database¹, Heather Macbeth authored at least 4 papers between 2010 and 2024.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of two.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Formalized Functional Analysis with Semilinear Maps.

[BibT_eX]

[DOI]

Frédéric Dupuis

Robert Y. Lewis

Heather Macbeth

J. Autom. Reason., June, 2024

Algorithm and Abstraction in Formal Mathematics.

[BibT_eX]

[DOI]

Heather Macbeth

Proceedings of the Mathematical Software - ICMS 2024, 2024

2012

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Graph Theory, 2010

Heather Macbeth

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...