- Mathematics 1.3k 1.3k 1010 silver badges1818 bronze badges
- Computer Science 763 763 55 silver badges1818 bronze badges
- Theoretical Computer Science 350 350 11 silver badge77 bronze badges
- Mathematica 337 337 11 silver badge88 bronze badges
- Academia 241 241 22 silver badges77 bronze badges
- View network profile
Top network posts
- 16 Results that were widely believed to be false but were later shown to be true
- 14 Formal System and Formal Logical System
- 14 How to shoot down your proofs
- 13 Restricted version of the Clique problem?
- 10 Controlled publication of an efficient factoring algorithm?
- 9 Survey Article on the Theory of Recursive Functions?
- 9 Reference request: DFA linear-time minimization
- View more network posts →