机器证明论文

Simons等式和Beckwith-Harbor等式的研究
论文摘要组合等式的证明一直是组合数学中研究的核心问题,其证明方法繁多,技巧性很强。在本篇论文中,我们主要研究了两个著名的组合等式:Simons组合等式和Beckwith-Har...
选择公理与Tukey引理等价性的机器证明
论文摘要基于计算机证明辅助工具Coq,提出一种选择公理与Tukey引理等价性的形式化证明.在公理化集合论形式化系统基础上,给出选择公理与Tukey引理的形式化描述,这是Tuke...