- Stack Overflow 12.1k 12.1k 33 gold badges3434 silver badges7878 bronze badges
- Mathematics 2.5k 2.5k 1818 silver badges3131 bronze badges
- English Language & Usage 323 323 11 gold badge44 silver badges1010 bronze badges
- Computer Science 210 210 11 silver badge66 bronze badges
- German Language 203 203 22 silver badges88 bronze badges
- View network profile
Top network posts
- 71 Memory Stream in Java
- 34 Are the rationals on a unit circle dense?
- 26 Update UI from Thread in Android
- 15 Is there a program that can draw a search tree of Prolog queries?
- 12 Prove that $\beta \rightarrow \neg \neg \beta$ is a theorem using standard axioms 1,2,3 and MP
- 11 In-place inversion of large matrices
- 11 How Concurrent is Prolog?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.
Jun 19 '15