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 →