A new generation of automatic theorem provers eliminate bugs in software and mathematics. Mechanical Mathematicians

Communications of the ACM(2023)

引用 0|浏览13
暂无评分
摘要
A new generation of automatic theorem provers eliminate bugs in software and mathematics.
更多
查看译文
关键词
mechanical
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要