数学机器证明与机器验证

其他 2018-12-24 11:41:05 阅读次数: 0

数学软件: Sage(可以辅助的计算一些例子).

我们能用计算机程序来检查数学定理的证明吗？

辅助证明软件：Lean(在线)，HOL Light，Coq，Isabelle-HOL

著名人物: Georges Gonthier

猜你喜欢

转载自blog.csdn.net/cmmsdwj/article/details/85229770
今日推荐
周排行
AIZU 2224 Save your cats(并查集)
HTTP响应头状态码详解
Python socket编程（2）
MaxCompute Studio使用心得系列7—作业对比
Supervisor安装使用
LeetCode 164. Maximum Gap
mysql面试题: 一张表里面有ID自增主键，当insert了17条记录之后，删除了第15,16,17条记录，再把mysql重启，再insert一条记录，这条记录的ID是18还是15
nutch1.2 DeleteDuplicates IndexMerger 详解
OC - @property与setter,getter方法
SpringBoot @Transactional的rollbackFor属性
每日归档
更多
2024-09-19(0)
2024-09-18(0)
2024-09-17(0)
2024-09-16(0)
2024-09-15(0)
2024-09-14(0)
2024-09-13(0)
2024-09-12(0)
2024-09-11(0)
2024-09-10(0)

代码天地 © 2018 codetd.com

境外服务器   最新电视剧2022