Grant Olney Passmore

516 reputation

311

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

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.

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

summary answers questions tags badges favorites bounties reputation activity

10 Answers

votes activity newest

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

516 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	6 big-list × 5
16 nt.number-theory × 2	6 soft-question × 3
16 model-theory	4 inequalities
8 groebner-bases	2 algorithms
8 ag.algebraic-geometry	1 monomial-ideals