Apparently, this user prefers to keep an air of mystery about them.
Member for 9 years, 2 months
1 profile view
Last seen Apr 4 at 19:25
- MathOverflow 3.6k 3.6k 33 gold badges2626 silver badges3131 bronze badges
- Mathematics 1.3k 1.3k 66 silver badges1616 bronze badges
- TeX - LaTeX 906 906 55 silver badges1414 bronze badges
- Mathematics Educators 548 548 33 silver badges1111 bronze badges
- English Language & Usage 265 265 11 silver badge66 bronze badges
- View network profile →
Top network posts
- 40 Proof assistants for mathematics
- 28 (Fictive) story of a time where people reasoned only up to isomorphism
- 17 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
- 12 Split rank of inner forms
- 12 Question about definition: what is an affine linear space?
- View more network posts →