Top network posts
- 55 Where and how did computers help prove a theorem?
- 27 Does $VP \neq VNP$ imply $P \neq NP$?
- 25 Approximating the sign rank of a matrix
- 18 Lower bounds on Gaussian complexity
- 18 Problems Between P and NPC
- 17 Applications of TCS to classical mathematics?
- 15 Information Theory used to prove neat combinatorial statements?
- View more network posts →