Show simple item record

A Formalisation of the Mathieu-24 Group

dc.rights.licenseCC-BY-NC-ND
dc.contributor.advisorCommelin, J.M.
dc.contributor.authorMeent, Edward van de
dc.date.accessioned2024-08-13T11:01:45Z
dc.date.available2024-08-13T11:01:45Z
dc.date.issued2024
dc.identifier.urihttps://studenttheses.uu.nl/handle/20.500.12932/47248
dc.description.abstractThe 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
dc.description.sponsorshipUtrecht University
dc.language.isoEN
dc.subjectThe 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
dc.titleA Formalisation of the Mathieu-24 Group
dc.type.contentBachelor Thesis
dc.rights.accessrightsOpen Access
dc.subject.courseuuWiskunde
dc.thesis.id36644


Files in this item

Thumbnail
Name:
Bachelor_thesis (4).pdf
Size:
237.8Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record