A Formalisation of the Mathieu-24 Group
Summary
The Mathieu-24 group is one of the finite simple groups. Formalizing this group is one of the steps towards formalizing the classification theorem of finite simple groups
Collections
Related items
Showing items related by title, author, creator and subject.
-
Making Groups Work: Identifying Group Work Problems via Peer Assessment in Higher Education
Veth, Danny (2022)In higher education, teamwork and collaboration are often part of the core educational experience. Yet, many students have negative associations or attitudes towards group projects. Problems such as social loafing and poor ... -
Directe en displaced agressie verschillen binnen de in-group en de out-group
Scholten, B.; Steenbekkers, F.F. (2011) -
In-group & Out-group: De rol van etniciteit bij directe en displaced agressie.
Verbiest, D.A.; Vliet, M. van (2011)Background: Children and young adolescents in the Netherlands live in a multicultural society. Prejudice can occur between groups from different ethnic backgrounds and this may lead to aggression. Aim: The present study ...