Apparently, this user prefers to keep an air of mystery about them.
Member for 11 years, 1 month
194 profile views
Last seen yesterday
- MathOverflow 5.1k 5.1k 33 gold badges3131 silver badges4141 bronze badges
- Mathematics 1.8k 1.8k 88 silver badges1919 bronze badges
- TeX - LaTeX 1.1k 1.1k 66 silver badges1515 bronze badges
- Mathematics Educators 738 738 44 silver badges1414 bronze badges
- English Language & Usage 267 267 22 silver badges66 bronze badges
- View network profile
Top network posts
- 47 Each mathematician has only a few tricks
- 40 Proof assistants for mathematics
- 29 (Fictive) story of a time where people reasoned only up to isomorphism
- 18 Why is the MacTeX distribution so large? Is there anything smaller for OS X?
- 16 Does the linear automorphism group determine the vector space?
- 16 Witt-vector vectors
- 13 Why are coroots needed for the classification of reductive groups?
- View more network posts →