Edward T. Dean

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

Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityGeverifieerd e-mailadres voor cmu.edu
Jason RuteIBM ResearchGeverifieerd e-mailadres voor ibm.com

Edward T. Dean

Grad student, Carnegie Mellon University

Geverifieerd e-mailadres voor post.harvard.edu - Homepage


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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	41	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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–4

Citaties per jaar