Edward T. Dean

200820092010201120122013201420152016201720182019202020212022202320241 3 7 8 17 16 24 23 22 18 27 24 17 17 15 6 6

Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerified email at cmu.edu
Jason RuteIBM ResearchVerified email at ibm.com

Edward T. Dean

Grad student, Carnegie Mellon University

Verified email at post.harvard.edu - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A formal system for Euclid’s Elements J Avigad, E Dean, J Mumma The Review of Symbolic Logic 2 (4), 700-768, 2009	191	2009
Algorithmic randomness, reverse mathematics, and the dominated convergence theorem J Avigad, ET Dean, J Rute Annals of Pure and Applied Logic 163 (12), 1854-1864, 2012	40	2012
Metastable convergence theorems J Avigad, E Dean, J Rute arXiv preprint arXiv:1108.4400, 2011	16	2011
Dedekind’s treatment of Galois theory in the Vorlesungen ET Dean Technical report, no. CMU-PHIL-184, Carnegie Mellon, 2009	6	2009

The system can't perform the operation now. Try again later.

Articles 1–4

Citations per year