A formal system for Euclid’s Elements J Avigad, E Dean, J Mumma The Review of Symbolic Logic 2 (4), 700-768, 2009 | 192 | 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 |