Edward Dean
Identifiers
- name variant Edward Dean 0.60 · backfill
Papers (3)
- Metastable convergence theorems math.FA · 2011 · author #2
- Algorithmic randomness, reverse mathematics, and the dominated convergence theorem math.LO · 2011 · author #2
- A formal system for Euclid's Elements math.LO · 2008 · author #2
Mentions
Frequent Coauthors
- Jeremy Avigad 3 shared papers
- Jason Rute 2 shared papers
- John Mumma 1 shared papers