MathOverflow
Profile Activity
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
~93k
people reached
  • Cambridge, England
  • cl.cam.ac.uk/~gp351
  • Member for 10 years, 10 months
  • 878 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 (0)

This user has not participated in any 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 →