York Science Fellow at York University.
Toronto, ON, Canada
Member for 5 years, 1 month
0 profile views
Last seen Feb 23 '19 at 0:12
Top network posts
- 128 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 The role of 'arbitrary' in proofs
- 19 "Embedding" a language in itself
- 15 Dividing squares by sums
- 13 Computational complexity of computing simplicial homology
- View more network posts →