Heather Macbeth

Orcid: 0000-0002-0290-4172

According to our database1, Heather Macbeth authored at least 6 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
2
1
1
2

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Formalized Functional Analysis with Semilinear Maps.
J. Autom. Reason., June, 2024

Anatomy of a Formal Proof.
CoRR, 2024

Integrals Within Integrals: A Formalization of the Gagliardo-Nirenberg-Sobolev Inequality.
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

Algorithm and Abstraction in Formal Mathematics.
Proceedings of the Mathematical Software - ICMS 2024, 2024

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

2010
Large Cayley graphs and vertex-transitive non-Cayley graphs of given degree and diameter.
J. Graph Theory, 2010


  Loading...