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

location  Oxford, United Kingdom  
age  51  
visits  member for  4 years, 9 months 
seen  2 hours ago  
stats  profile views  2,362 
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 selfduality 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 nonSpringer 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... 