Zulip Chat Archive

Stream: Is there code for X?

Topic: finite groups?


view this post on Zulip Robert Maxton (Nov 11 2020 at 19:37):

Is someone already working on a finite group library?

view this post on Zulip Kevin Buzzard (Nov 11 2020 at 19:38):

There is Sylow 1, and the other Sylow theorems are just waiting to be done. Or do you mean a database of finite groups?

view this post on Zulip Robert Maxton (Nov 11 2020 at 19:39):

nah, I mean closer to the first sense, "theorems that are useful for finite groups"

view this post on Zulip Robert Maxton (Nov 11 2020 at 19:39):

thanks, I'll look and see what we've got


Last updated: May 17 2021 at 16:26 UTC