Skip to main content
MathOverflow
Christoph Haase's user avatar
Christoph Haase's user avatar
Christoph Haase's user avatar
Christoph Haase
  • Member for 9 years, 3 months
  • Last seen more than 2 years ago
Profile Activity
Stats
183
reputation
3k
reached
2
answers
1
question
Communities
About

Living and working in Oxford, England.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
View all tags
4
Score
3
Posts
100
Posts %
4
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
answer
9
Which recursively-defined predicates can be expressed in Presburger Arithmetic?
Sep 7, 2015
question
4
Primes in arithmetic progressions above a given threshold
Apr 10, 2020
answer
4
Status of an open problem about semilinear sets
Sep 29, 2015
Top network posts
View all network posts
12
Checking equivalence of two polytopes
7
Complexity Class NEXP$^\text{NP}$