John Machacek
Visiting Assistant Professor at Hampden-Sydney College
-
Richmond, VA, USA
-
Member for 6 years, 7 months
-
5 profile views
-
Last seen 2 days ago
Communities (4)
Top network posts
- 129 Why do we still do symbolic math?
- 25 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
- 15 Dividing squares by sums
- 13 Computational complexity of computing simplicial homology
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.
Badges (9)
Gold
—
Silver
6
Rarest
Bronze
3
Rarest
-
Aug 3 '17
-
Oct 6 '16
-
Jul 4 '14