Grant Olney Passmore

511 reputation

311

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

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.

	511 reputation	bio	website	cl.cam.ac.uk/~gp351	visits	member for	3 years, 11 months
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?

511 Reputation

+5	Benchmark problems for computing rational points on varieties
+10	Examples of inequality implied by equality.
+10	Nonstandard monomial orders?
+10	How to show an ideal is Zero-dimensional

2 Questions

votes activity newest

11	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