Top Network Posts
- 33Proof assistants for mathematics
- 26(Fictive) story of a time where people reasoned only up to isomorphism
- 17Why is the MacTeX distribution so large? Is there anything smaller for OS X?
- 16Does the linear automorphism group determine the vector space?
- 16Witt-vector vectors
- 12Question about definition: what is an affine linear space?
- 12Exercises to go with Simon's "Representations of finite and compact groups"
- View more network posts →
Top Tags (21)
12 Flagging spam user Nov 27 '17
11 Is it appropriate to ask a research-level question that is not part of a research problem? Nov 6 '14
11 Is it appropriate to ask for exercises? Aug 29 '14
6 How to cut and paste Mar 26
5 MathJax accents in Safari 10.1 Apr 14 '17
3 Spaces in command sequences in old comments? Aug 17 '16
2 Editing signed posts Jan 18 '17