Παρακολούθηση
Edward T. Dean
Edward T. Dean
Grad student, Carnegie Mellon University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα post.harvard.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
A formal system for Euclid’s Elements
J Avigad, E Dean, J Mumma
The Review of Symbolic Logic 2 (4), 700-768, 2009
1912009
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
412012
Metastable convergence theorems
J Avigad, E Dean, J Rute
arXiv preprint arXiv:1108.4400, 2011
162011
Dedekind’s treatment of Galois theory in the Vorlesungen
ET Dean
Technical report, no. CMU-PHIL-184, Carnegie Mellon, 2009
62009
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–4