Sciweavers

MKM
2009
Springer
13 years 11 months ago
Finite Groups Representation Theory with Coq
Representation theory is a branch of algebra that allows the study of groups through linear applications, i.e. matrices. Thus problems in abstract groups can be reduced to problems...
Sidi Ould Biha

0
posts
with
0
views
370profile views
Steven SamStudent, PhD
Massachusetts Institute of Technology
Steven Sam
First year math PhD student at MIT.