Visiting Assistant Professor at Hampden-Sydney College
Richmond, VA, USA
Member for 5 years, 11 months
0 profile views
Last seen Apr 10 at 1:39
Top network posts
- 130 Why do we still do symbolic math?
- 26 A sequence potentially consisting of only integers
- 23 The list of problems for Grothendieck's thesis
- 20 "Embedding" a language in itself
- 20 The role of 'arbitrary' in proofs
- 19 Listing all posets on 9 points?
- 15 Dividing squares by sums
- View more network posts →