分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 908 浏览量: 2,767
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
大学生数学竞赛中中值定理的证明方法及技巧Methods and Skills of Proving the Mean Value Theorem in College Students’ Mathematics Competition
刘 波, 刘晓燕, 李文彬 下载量: 514 浏览量: 1,037
职业教育 Vol.10 No.3, July 15 2021, PDF, HTML, XML DOI:10.12677/VE.2021.103026 被引量
导数在不等式证明中的应用The Application of Derivative in the Process of Proving Inequalities
刘海欣, 陈敏风 下载量: 447 浏览量: 799 国家自然科学基金支持
理论数学 Vol.13 No.5, May 31 2023, PDF, HTML, XML DOI:10.12677/PM.2023.135149 被引量
证明正交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 (预印本)
蔡国伟 下载量: 891 浏览量: 2,584
汉斯预印本 Vol.4 No.1, September 25 2019, PDF, , DOI:10.12677/HANSPrePrints.2019.41032 被引量
关于初中数学课堂互动策略的研究——以勾股定理为例Research on Interactive Strategies in the Middle School Mathematics Classroom—Taking the Pythagorean Theorem as an Example
杨秀霞, 徐长玲 下载量: 290 浏览量: 389 科研立项经费支持
教育进展 Vol.13 No.4, April 28 2023, PDF, HTML, XML DOI:10.12677/AE.2023.134351 被引量
质点几何定理机器证明的研究进展Research Progress of Automated Particle Geometry Theorems Proving
胡晓璐, 江建国, 张 媛 下载量: 1,354 浏览量: 4,432
应用数学进展 Vol.7 No.12, December 10 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.712173 被引量
证明正交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
蔡国伟 下载量: 726 浏览量: 1,288
理论数学 Vol.10 No.1, January 9 2020, PDF, HTML, XML DOI:10.12677/PM.2020.101005 被引量
证明垂心四面体的内切球、4面和6棱旁切球半径坐标的算法——四维体积勾股定理的应用(公式五)Algorithm for Proving the Radius Coordinates of the Inscribed Sphere and 4-Surfaces and 6-Edge Line Escribed Spheres of the Orthocentric Tetrahedron—Application of Pythagorean Theorem of Four Dimensional Volume (Formula 5 (预印本)
蔡国伟 下载量: 809 浏览量: 1,579
汉斯预印本 Vol.4 No.1, September 5 2019, PDF, , DOI:10.12677/HANSPrePrints.2019.41029 被引量
证明垂心四面体的内切球、4面和6棱旁切球半径坐标的算法——四维体积勾股定理的应用(公式五)Algorithm for Proving the Radius Coordinates of the Inscribed Sphere and 4-Surfaces and 6-Edge Line Escribed Spheres of the Orthocentric Tetrahedron—Application of Pythagorean Theorem of Four-Dimensional Volume (Formula 5
蔡国伟 下载量: 827 浏览量: 1,762
理论数学 Vol.9 No.10, December 12 2019, PDF, HTML, XML DOI:10.12677/PM.2019.910141 被引量
组合恒等式证明的几种方法Several Methods for Proving Combinatorial Identities
郑欢欢, 靳海涛 下载量: 722 浏览量: 1,806 国家自然科学基金支持
理论数学 Vol.11 No.6, June 18 2021, PDF, HTML, XML DOI:10.12677/PM.2021.116128 被引量