Heather Macbeth

Available identifiers

Publication	Date of Publication	Type
Algorithm and abstraction in formal mathematics	2024-11-13	Paper
Formalized functional analysis with semilinear maps	2024-07-15	Paper
Steady Kähler–Ricci solitons on crepant resolutions of finite quotients of Cn$\mathbb {C}^n$	2024-02-23	Paper
Formalized functional analysis with semilinear maps	2022-02-10	Paper
Conformal Classes Realizing the Yamabe Invariant	2019-11-18	Paper
K\"ahler-Einstein metrics and higher alpha-invariants	2014-11-26	Paper
Einstein metrics in projective geometry	2014-03-14	Paper
Detecting Einstein geodesics: Einstein metrics in projective and conformal geometry	2014-01-31	Paper
Cayley graphs of given degree and diameter for cyclic, Abelian, and metacyclic groups	2012-01-11	Paper
Large Cayley graphs and vertex-transitive non-Cayley graphs of given degree and diameter	2010-11-10	Paper
Sharp $L^2$ estimates for the drift heat equation on shrinking Ricci solitons	N/A	Paper

This page was built for person: Heather Macbeth