Theoretical Computer Science
Martin Hofmann's user avatar
Martin Hofmann's user avatar
Martin Hofmann's user avatar
Martin Hofmann
  • Member for 6 years, 1 month
  • Last seen more than 5 years ago
Profile Activity
Stats
643
reputation
17k
reached
6
answers
2
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
8
bronze badges
Top tags
View all tags
16
Score
2
Posts
25
Posts %
16
Score
2
Posts
25
Posts %
15
Score
1
Posts
12
Posts %
15
Score
1
Posts
12
Posts %
10
Score
1
Posts
12
Posts %
6
Score
1
Posts
12
Posts %
Top posts
All Questions Answers
Score Newest
answer
15
What is the difference between System F and Hindley-Milner type system?
Dec 22, 2017
answer
10
Formally Verified Complexity Theory
Nov 22, 2017
answer
6
Proof assistant usage in complexity theory research?
Nov 22, 2017
answer
5
Solid applications of category theory in TCS?
Nov 22, 2017
question
5
Which well-known algorithmic problem is this an instance of?
Nov 22, 2017
answer
4
Why isn't the Charikar algorithm for finding the densest subgraph optimal?
Nov 28, 2017
answer
2
Is there a regular tree language in which the average height of a tree of size $n$ is neither $\Theta(n)$ nor $\Theta(\sqrt{n})$?
Oct 12, 2017
question
1
Amortized analysis of red-black trees
Oct 5, 2017
Top network posts
View all network posts
6
Transverse wave vs the hairy-ball theorem

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.