作者: Davis, M., Logemann, G. and Loveland, D.
关键词: Program
摘要: The programming of a proof procedure is discussed in connection with trial runs and possible improvements.
在线下载
分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国
软件工程与应用Vol.9 No.1, 全文下载: PDF HTML XML DOI:10.12677/SEA.2020.91003, January 13 2020
大学生数学竞赛中中值定理的证明方法及技巧Methods and Skills of Proving the Mean Value Theorem in College Students’ Mathematics Competition
刘 波, 刘晓燕, 李文彬
职业教育Vol.10 No.3, 全文下载: PDF HTML XML DOI:10.12677/VE.2021.103026, July 15 2021
证明正交4球6平面及四维垂直的四维空间算法——四维体积勾股定理的应用(公式七)Proving Four-Dimensional Space Algorithms of Orthogonal Four-Sphere Six-Plane and Four-Dimensional Verticality—Application of Pythagorean Theorem of Four Dimensional Volume (Formula 5)
蔡国伟
汉斯预印本Vol.4 No.1, 全文下载: PDF DOI:10.12677/HANSPrePrints.2019.41032, September 25 2019
导数在不等式证明中的应用The Application of Derivative in the Process of Proving Inequalities
刘海欣, 陈敏风 国家自然科学基金支持
理论数学Vol.13 No.5, 全文下载: PDF HTML XML DOI:10.12677/PM.2023.135149, May 31 2023
基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢
应用数学进展Vol.6 No.8, 全文下载: PDF HTML XML DOI:10.12677/AAM.2017.68123, November 29 2017
证明正交4球6平面及四维垂直的四维空间算法——四维体积勾股定理的应用(公式七)Proving Four-Dimensional Space Algorithms of Orthogonal Four-Sphere Six-Plane and Four-Dimensional Verticality—Application of Pythagorean Theorem of Four Dimensional Volume (Formula 7)
理论数学Vol.10 No.1, 全文下载: PDF HTML XML DOI:10.12677/PM.2020.101005, January 9 2020