5,389 reputation
930
bio website cs.ox.ac.uk/people/…
location Oxford, United Kingdom
age 51
visits member for 4 years, 9 months
seen 16 mins ago

Aug
23
comment Springer GTM Reprints in China?
@KConrad I meant non-Springer books. Strangely enough Springer does not have any discounted reprints in Singapore.
Aug
19
comment Springer GTM Reprints in China?
Well, it's very usual to see these "Not for sale in ..." printed in bold on first pages of textbooks. E.g. there are lots of such books on sale in Singapore at a big discount (e.g. "baby Rudin" for 12$US).
Aug
19
comment Eckardt points from the conic with its tangents
Aren't Eckardt points something to do with cubic surfaces, rather than conics?
Aug
19
comment Springer GTM Reprints in China?
My understanding is that they are legitimate reprints of Springer books, but they cannot be sold outside of PRC for copyright reasons. On my visit to Shanghai I bought a bag of such GTMs in a local bookshop :-)
Aug
19
comment How much of the ATLAS of finite groups is independently checked and/or computer verified?
Do you claim that CFSG is more reliable than Atlas? Or just that Atlas isn't really 100% correct?
Aug
19
comment How much of the ATLAS of finite groups is independently checked and/or computer verified?
Well, Atlas is still more reliable than many classification results, e.g. finite primitive linear groups of degree 4 is a notorious example of classification that is "sort of" done, yet it's not really available, and often cited sources have errors...
Aug
19
comment How much of the ATLAS of finite groups is independently checked and/or computer verified?
why don't you fix this link with a proper one, e.g. web.mat.bham.ac.uk/atlas/v2.0/info/newatlasmods.html ? IMHO it's a pretty short list of typos for such a long book :-)
Aug
19
comment How much of the ATLAS of finite groups is independently checked and/or computer verified?
there are references, Atlas isn't exactly a book of fairy tales; many things in Atlas can be computed with GAP (or Magma, if you are lucky to have a license), etc. Anyway I think this kind of issue equally applies to every sufficiently long book; e.g. can we trust the authors/referees etc etc. E.g. can we trust every lemma in a proof of CFSG?
Aug
19
comment How much of the ATLAS of finite groups is independently checked and/or computer verified?
and while there were various small errors found in the Atlas over time, you might like to compare them with huge gaps that were found in CFSG over time :-)
Aug
19
comment How much of the ATLAS of finite groups is independently checked and/or computer verified?
as well, most of the character tables in the Atlas are available via GAP, and are possible to build with GAP relatively easily. By the way, AtlasRep package that you refer to is only a part of what Atlas info can be obtained in GAP...
Aug
19
comment How much of the ATLAS of finite groups is independently checked and/or computer verified?
your "little errors" links is about a different Atlas...
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
19
comment Looking for reference or proof to some facts stated on Anand Pillay's book
if your 2-dimensional 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
comment Cardinality of non-integer 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 2-dimensional 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
comment Is any F-stable maximal torus contained in some F-stable Borel subgroup?
I'm voting to close this question as it has been answered in the comments
May
16
comment Extreme points of convex hull of Minkowski sum
it seems you do not understand what conv(X) is.
May
16
comment Extreme points of convex hull of Minkowski sum
you are not reading it right.