The author has 2 posts.
Font size: Small - 100% (Default)▼  Content converter: No conversion▼
 
Clicks Replies
66 1
正在做<=100阶群的分类的形式化
悄悄打开魔盒
大魔导士 十七级
Reply
Floor 1 Posted at: 7/6/26 1:16
93个阶数已经完成，大部分都只有几个到十几个同构类，
尚未完成的有: 
32阶群，有51个同构类
48阶群，有52个同构类
64阶群，有267个同构类
72阶群，有50个同构类
80阶群，有52个同构类
81阶群，有15个同构类
96阶群，有231个同构类
悄悄打开魔盒
大魔导士 十七级
Reply
Floor 2 Posted at: 7/6/26 1:18
https://github.com/lixiang90/smallgroups
这种宏大的工程也只好用AI做了，如果分类完成，预计代码总量在十万行以上
Reply the post
Content:
User: You are currently anonymous.
Captcha:
Unclear? Try another one.
(Shortcut key: Ctrl+Enter)
Post Information
Clicks: 66 Replies: 1
Author: 悄悄打开魔盒
Last reply: 悄悄打开魔盒
Last reply time: 7/6/26 1:18
Announcements
 【新功能】现在手机版发帖也可以上传图片了
【公告】布拉斯侃吧（Purasbar）全站已启用HTTP/2访问以及TLS1.3加密
【新功能】楼中楼功能已上线
【公告】Purasbar http访问方式已关闭，从现在起只能通过https方式访问
【新功能】现在可以直接在发帖框中粘贴图片啦！
【新功能】搜索框提示功能上線了
【公告】第十五次補丁包安裝完畢
【公告】從現在開始，管理員將停止審批會員
【公告】阿斯兰侃吧现在开始支持简繁混合搜索
【公告】阿斯蘭侃吧啟用https訪問
【公告】从今天开始，本站实行主题编号制
【新功能】图片缩放功能上线了