All Questions
Tagged with formal-proof rt.representation-theory
1 question
55
votes
5
answers
6k
views
How much of the ATLAS of finite groups is independently checked and/or computer verified?
In a recent talk Finite groups, yesterday and today Serre made some comments about proofs that rely on the classification of finite simple groups (CFSG) and on the ATLAS of Finite Groups. Namely, he ...