Speaker: Thomas Breuer and Kay Magaard (Aachen/)
Title: Verifying the Character Table of the Baby Monster
Abstract:
(see title!)
Nikolaus conference 2017Speaker: Thomas Breuer and Kay Magaard (Aachen/)
Title: Verifying the Character Table of the Baby Monster
Abstract:
(see title!)