Stats
971
reputation
0
reached
0
answers
0
questions
Loading…
Communities
About
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.
Badges
View all badges
Posts
This user hasn’t posted yet.
Top network posts
View all network posts