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 2 days 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 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
answered How much of the ATLAS of finite groups is independently checked and/or computer verified?
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...
Jul
19
reviewed Close Why is a negatively curved cone surface locally CAT(-1)?
Jul
15
revised A class 3 group of order 243
edited title
Jul
7
reviewed Reviewed Analytic Chern classes
Jul
7
reviewed Close Operator on a Sobolev space
Jul
1
reviewed Leave Closed Properties of schemes determined by field valued points
Jun
20
answered Anyone have missing reference list - Kerber “Representations . . . I”
Jun
20
reviewed Approve Number of valid topologies on a finite set of n elements
Jun
12
reviewed Leave Open A good place where to learn about derived functors
Jun
4
reviewed No Action Needed N-th root of unity in N-th division field of abelian variety?