MathOverflow
Meta user
Network profile
881
reputation
7
15

Grant Olney Passmore

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.
10
answers
2
questions
~87k
people reached
  • Cambridge, England
  • cl.cam.ac.uk/~gp351
  • Member for 9 years, 8 months
  • 875 profile views
  • Last seen Jan 11 '14 at 17:59

Communities (2)

Top network posts

We respect a laser-like focus on one topic.

Top tags (23)

Score 40
Posts 3
Posts % 25
Score 28
Posts 2
Score 28
Posts 1
Score 28
Posts 1
Score 28
Posts 1
Score 10
Posts 1
View all tags →

Top posts (12) All Questions Answers | Votes Newest

28 Has decidability got something to do with primes? Mar 30 '10
14 Ultrafilters arising from Keisler-Shelah ultrapower characterisation of elementary equivalence May 13 '10
12 Reasons for success in automated theorem proving Jun 7 '10
12 German mathematical terms like “Nullstellensatz” Apr 19 '11
11 Practical applications of algebraic number theory? May 17 '10
10 Nonstandard monomial orders? Apr 6 '11
6 Elementary+Short+Useful Apr 3 '11
6 What is the definition of “canonical”? Mar 28 '10
4 Examples of inequality implied by equality. Apr 26 '10
2 Benchmark problems for computing rational points on varieties Jan 8 '14
View all questions and answers →

Badges (22)

Gold

—

Silver

7

Rarest

Bronze

15

Rarest

View all badges →