Videos

Start date cannot be after end date.
Heather Macbeth - Algorithm and abstraction in formal mathematics - IPAM at UCLA Thumbnail

Heather Macbeth - Algorithm and abstraction in formal mathematics - IPAM at UCLA

Presenter
  • Heather Macbeth
February 17, 2023
IPAM
Kähler-Einstein metrics and higher alpha-invariants Thumbnail

Kähler-Einstein metrics and higher alpha-invariants

Presenter
  • Heather Macbeth
March 21, 2016
SLMath

Algebra Tactics

Presenter
  • Heather Macbeth
July 12, 2022
ICERM
Formalization Of Mathematics Summer School: Basics (Chapter 2 of MIL) Thumbnail

Formalization Of Mathematics Summer School: Basics (Chapter 2 of MIL)

Presenter
  • Heather Macbeth
June 5, 2023
SLMath
Formalization Of Mathematics Summer School: Number Theory (Chapter 5 of MIL) Thumbnail

Formalization Of Mathematics Summer School: Number Theory (Chapter 5 of MIL)

Presenter
  • Heather Macbeth
June 7, 2023
SLMath
Formalization Of Mathematics Summer School: Integration and Complex Analysis Thumbnail

Formalization Of Mathematics Summer School: Integration and Complex Analysis

Presenter
  • Heather Macbeth
June 16, 2023
SLMath