bio  website  cs.ox.ac.uk/people/… 

location  Oxford, United Kingdom  
age  51  
visits  member for  4 years, 6 months 
seen  3 hours ago  
stats  profile views  2,255 
3h

reviewed  Leave Closed Determine if you can build a polygon from segments 
3h

reviewed  Close How does one express a Lagrangian via differential forms? 
3h

reviewed  Close Convergence of a complex series 
3h

reviewed  Close Unruled straightedge construction 
May 21 
reviewed  Approve Morse number of the Poincaré homology sphere 
May 21 
awarded  Reviewer 
May 21 
reviewed  Close Will this be a case of self plagiarism or will it annoy the referee? 
May 21 
comment 
Will this be a case of self plagiarism or will it annoy the referee?
Yet another option is to include the parts with proofs from P1 as an appendix to P2. An appendix is meant to be for referees. As P1 is not yet published, this seems the most appropriate. 
May 21 
reviewed  Leave Open Are congruence subgroups of the modular group finitely presented? 
May 20 
reviewed  Leave Open What criteria are to determine if two projective varieties are projectively equivalent? 
May 19 
comment 
Looking for reference or proof to some facts stated on Anand Pillay's book
if your 2dimensional closed sets have at least 3 elements then one doesn't need any group actions and infiniteness, it's just pure synthetic geometry to show that you sill get an affine or projective geometry. 
May 19 
reviewed  Close Projection mappings 
May 19 
reviewed  Close Binary strings and onetoone correspondence 
May 19 
comment 
Cardinality of noninteger points in the translation of the Minkowski sum of convex hull.
counting integer points in $mP+nQ$ is quite famous question, related to mixed volumes. Perhaps you can use it to get $S$... 
May 19 
comment 
Looking for reference or proof to some facts stated on Anand Pillay's book
you need infiniteness to avoid a sporadic example related to the Mathieu group $M_{22}$, I suppose. Well, I don't know how to deal with the case of 2dimensional closed sets (a.k.a. lines) being of size 2, and locally being an infinite projective plane. 
May 19 
comment 
Looking for reference or proof to some facts stated on Anand Pillay's book
2.1.11 is also a result that is very old, at least in geometric terms (I don't know what an "infinite homogeneous" means though). Does it mean that the rank is infinite? 
May 19 
comment 
Looking for reference or proof to some facts stated on Anand Pillay's book
2.1.12 is a classical result in projective geometry, any good book should have it. e.g. see math.stackexchange.com/questions/549099/… for a list of books. 
May 19 
reviewed  Leave Open Series Decomposition 
May 19 
comment 
Series Decomposition
Check out "A=B" book, it explains how to identify a hypergeometric function given by series. math.upenn.edu/~wilf/AeqB.html 
May 19 
reviewed  Close Is any Fstable maximal torus contained in some Fstable Borel subgroup? 