Edward T. Dean

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Convergence Theorem

Top Venues

Ann. Pure Appl. Log.

Publications

Jeremy Avigad, Edward T. Dean, Jason M. Rute
Algorithmic randomness, reverse mathematics, and the dominated convergence theorem. Ann. Pure Appl. Log. 163 (12) (2012)
Jeremy Avigad, Edward T. Dean, Jason M. Rute
A metastable dominated convergence theorem. J. Log. Anal. 4 (2012)
Jeremy Avigad, Edward T. Dean, John Mumma
A Formal System for Euclid's Elements. Rev. Symb. Log. 2 (4) (2009)