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

1d
comment Automorphism groups of symmetric cones
zbmath.org/?q=an:0138.43301
1d
comment Automorphism groups of symmetric cones
there was a complete classification by B.Vinberg. IMHO you need self-duality to get down to only 5 classes...
1d
comment Normal Subgroups of $U_n(q)$
your groups is typically denoted by $UT_n(q)$. $U_n(q)$ is used for unitary groups.
1d
reviewed Approve How large is TREE(3)?
1d
comment Generating (or availability of) large strongly regular graphs
Brendan, if you release its source under GPL, it will get into Sage... :-)
1d
revised Generating (or availability of) large strongly regular graphs
added 166 characters in body
1d
comment Generating (or availability of) large strongly regular graphs
we implement infinite families, as well as "sporadic" examples.
2d
comment Generating (or availability of) large strongly regular graphs
lots of SRG's in Sage are here: doc.sagemath.org/html/en/reference/graphs/sage/graphs/…
2d
answered Generating (or availability of) large strongly regular graphs
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...