Heather Macbeth

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 4

Top Topics

Improved Algorithm

Expectation Maximization

Top Venues

J. Autom. Reason.

Publications

Frédéric Dupuis, Robert Y. Lewis, Heather Macbeth
Formalized Functional Analysis with Semilinear Maps. J. Autom. Reason. 68 (2) (2024)
Heather Macbeth
Algorithm and Abstraction in Formal Mathematics. ICMS (2024)
Frédéric Dupuis, Robert Y. Lewis, Heather Macbeth
Formalized functional analysis with semilinear maps. ITP (2022)
Frédéric Dupuis, Robert Y. Lewis, Heather Macbeth
Formalized functional analysis with semilinear maps. CoRR (2022)
Heather Macbeth, Jana Siagiová, Jozef Sirán
Cayley graphs of given degree and diameter for cyclic, Abelian, and metacyclic groups. Discret. Math. 312 (1) (2012)
Heather Macbeth, Jana Siagiová, Jozef Sirán, Tomás Vetrík
Large Cayley graphs and vertex-transitive non-Cayley graphs of given degree and diameter. J. Graph Theory 64 (2) (2010)