作者: 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
从罗尔定理到山路定理From Rolle’s Theorem to Mountain Pass Theorem
黄 晨, 韦一鸣
理论数学Vol.14 No.7, 全文下载: PDF XML DOI:10.12677/pm.2024.147280, July 29 2024
证明正交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
拉格朗日中值定理的应用及推广The Application and Extension of Lagrange’s Mean Value Theorem
黄 晨, 周可为
理论数学Vol.14 No.8, 全文下载: PDF XML DOI:10.12677/pm.2024.148297, August 13 2024