MathOverflow
Grant Olney Passmore's user avatar
Grant Olney Passmore's user avatar
Grant Olney Passmore's user avatar
Grant Olney Passmore
  • Member for 14 years
  • Last seen more than 10 years ago
Profile Activity
Stats
971
reputation
107k
reached
10
answers
2
questions
Communities
About
Postdoctoral Associate, Clare Hall, University of Cambridge and Research Associate, LFCS, University of Edinburgh. Metamathematics of real algebraic geometry, decision methods over real and algebraically closed fields, Groebner bases.
Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
15
bronze badges
Top tags
View all tags
48
Score
3
Posts
25
Posts %
35
Score
2
Posts
17
Posts %
35
Score
1
Posts
8
Posts %
35
Score
1
Posts
8
Posts %
35
Score
1
Posts
8
Posts %
10
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
answer
35
Has decidability got something to do with primes?
Mar 30, 2010
question
15
Ultrafilters arising from Keisler-Shelah ultrapower characterisation of elementary equivalence
May 13, 2010
answer
13
Practical applications of algebraic number theory?
May 17, 2010
answer
13
Reasons for success in automated theorem proving
Jun 7, 2010
answer
12
German mathematical terms like "Nullstellensatz"
Apr 19, 2011
answer
10
Nonstandard monomial orders?
Apr 6, 2011
answer
6
Elementary+Short+Useful
Apr 3, 2011
answer
5
What is the definition of "canonical"?
Mar 28, 2010
answer
4
Examples of inequality implied by equality.
Apr 26, 2010
question
2
Benchmark problems for computing rational points on varieties
Jan 8, 2014