Apparently, this user prefers to keep an air of mystery about them.
Member for 11 years, 4 months
215 profile views
Last seen yesterday
- MathOverflow 5.5k 5.5k 33 gold badges3232 silver badges4343 bronze badges
- Mathematics 1.8k 1.8k 88 silver badges2020 bronze badges
- TeX - LaTeX 1.1k 1.1k 66 silver badges1515 bronze badges
- Mathematics Educators 748 748 44 silver badges1515 bronze badges
- English Language & Usage 347 347 22 silver badges66 bronze badges
- View network profile
Top network posts
- 47 Each mathematician has only a few tricks
- 41 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 →