设为首页收藏本站
开启辅助访问 切换到宽版

科学网

 找回密码
  注册
科学网 › 我的中心 › 博文 › zhtprog的博文
语义处理| 自动索引| 手机的物理| 天文| 观点| 雾霭| Terry Pratchett| 拓扑| 数学符号| 机器证明| 答疑| 人工智能| 物理|
有限群理论的机器证明
张海涛 2015-7-11 10:10
今天我刚完成了一个数学定理的机器证明，是有限群理论里的一个重要定理First Sylow Theorem。这个证明花了两个多月时间，因为使用的是一个新型的机器证明工具，很多基础工作都是从头做起。证明发在这里： https://github.com/htzh/leanproved 一共用了3317行代码， 21715个词， 134230个字符。实际上写的代码还多 ...
个人分类: 机器证明|3312 次阅读|没有评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-4-20 05:53

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部