Reputation
5,926
Top tag
Next privilege 10,000 Rep.
Access moderator tools
Badges
10 35
Newest
 Quorum
Impact
~93k people reached

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?
Jun
4
reviewed Close Scale vector in scaled pivoting (numerical methods)
Jun
3
reviewed Reviewed Does an existence of large cardinals have implications in number theory or combinatorics?
Jun
1
reviewed Close Trying to relate the fundamental groupoid to vector bundles
May
31
awarded  Nice Answer
May
30
reviewed No Action Needed Is there a Hochschild-Serre spectral sequence for unramified cohomology?
May
25
reviewed Close Cohomology of Homogeneous Complex Manifolds
May
25
reviewed Close stable splitting into a wedge sum
May
25
reviewed Close If $q^k n^2$ is an odd perfect number with Euler prime $q$, are the following statements known to hold in general?