Grant Olney Passmore

616 reputation

411

bio	website	cl.cam.ac.uk/~gp351
	location	Cambridge, England
	age	31
visits	member for	4 years, 11 months
	seen	Jan 11 '14 at 17:59
stats	profile views	817

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.

	616 reputation	bio	website	cl.cam.ac.uk/~gp351	visits	member for	4 years, 11 months
411 badges		location	Cambridge, England		seen	Jan 11 '14 at 17:59

summary answers questions tags badges favorites bounties reputation activities

10 Answers

votes activity newest

16	Has decidability got something to do with primes?
10	Reasons for success in automated theorem proving
9	German mathematical terms like “Nullstellensatz”
8	Practical applications of algebraic number theory?
8	Nonstandard monomial orders?

616 Reputation

+5	Ultrafilters arising from Keisler-Shelah ultrapower characterisation of elementary equivalence
+5	Benchmark problems for computing rational points on varieties
+10	Examples of inequality implied by equality.
+10	Nonstandard monomial orders?

2 Questions

votes activity newest

12	Ultrafilters arising from Keisler-Shelah ultrapower characterisation of elementary equivalence
1	Benchmark problems for computing rational points on varieties

19 Tags

26 lo.logic × 3	4 big-list × 5
16 nt.number-theory × 2	4 soft-question × 3
16 model-theory	4 inequalities
8 groebner-bases	1 monomial-ideals
8 ag.algebraic-geometry	1 polynomials