Personal information

No personal information available

Activities

Employment (1)

Fordham University: New York, US

2019 to present
Employment
Source: Self-asserted source
Heather R Macbeth

Education and qualifications (1)

Princeton University: Princeton, NJ, US

2015 | Ph.D. (Mathematics)
Education
Source: Self-asserted source
Heather R Macbeth

Works (10)

Algorithm and Abstraction in Formal Mathematics

2024 | Book chapter
Contributors: Heather Macbeth
Source: check_circle
Crossref

Integrals Within Integrals: A Formalization of the Gagliardo-Nirenberg-Sobolev Inequality

2024 | Conference paper
Contributors: Floris van Doorn; Heather Macbeth
Source: Self-asserted source
Heather R Macbeth

Formalized Functional Analysis with Semilinear Maps

Journal of Automated Reasoning
2024-06 | Journal article
Part of ISSN: 0168-7433
Part of ISSN: 1573-0670
Contributors: Frédéric Dupuis; Robert Y. Lewis; Heather Macbeth
Source: Self-asserted source
Heather R Macbeth

Steady Kähler–Ricci solitons on crepant resolutions of finite quotients of Cn$\mathbb {C}^n$

Journal of the London Mathematical Society
2024-01 | Journal article | Author
Part of ISSN: 0024-6107
Part of ISSN: 1469-7750
Contributors: Olivier Biquard; Heather R Macbeth
Source: Self-asserted source
Heather R Macbeth
grade
Preferred source (of 2)‎

Formalized functional analysis with semilinear maps

2022 | Conference paper
Contributors: Frédéric Dupuis; Robert Y. Lewis; Heather Macbeth
Source: Self-asserted source
Heather R Macbeth

Conformal Classes Realizing the Yamabe Invariant

International Mathematics Research Notices
2019-03-06 | Journal article
Part of ISSN: 1073-7928
Part of ISSN: 1687-0247
Source: Self-asserted source
Heather R Macbeth

Detecting Einstein geodesics: Einstein metrics in projective and conformal geometry

Differential Geometry and its Application
2014 | Journal article
EID:

2-s2.0-84895900612

Source: Self-asserted source
Heather R Macbeth
grade
Preferred source (of 2)‎

Einstein metrics in projective geometry

Geometriae Dedicata
2014 | Journal article
EID:

2-s2.0-84893685577

Source: Self-asserted source
Heather R Macbeth
grade
Preferred source (of 2)‎

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

Discrete Mathematics
2012 | Journal article
EID:

2-s2.0-80455164745

Source: Self-asserted source
Heather R Macbeth
grade
Preferred source (of 2)‎

Large Cayley graphs and vertex-transitive non-cayley graphs of given degree and diameter

Journal of Graph Theory
2010 | Journal article
EID:

2-s2.0-77953087101

Source: Self-asserted source
Heather R Macbeth
grade
Preferred source (of 2)‎

Peer review (1 review for 1 publication/grant)

Review activity for Geometriae Dedicata (1)