MathOverflow
user avatar
user avatar
user avatar
Christoph Haase
  • Member for 6 years, 11 months
  • Last seen more than a week ago
Profile Activity
Stats
183
reputation
3k
reached
2
answers
1
question
Communities
About

I'm a Departmental Lecturer in Computer Science at the University of Oxford.

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
All Questions Answers
Score Newest
answer
9
Which recursively-defined predicates can be expressed in Presburger Arithmetic?
Sep 7, 2015
answer
4
Status of an open problem about semilinear sets
Sep 29, 2015
question
4
Primes in arithmetic progressions above a given threshold
Apr 10, 2020
Top network posts
View all network posts
12
Checking equivalence of two polytopes
7
Complexity Class NEXP$^\text{NP}$

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.