组合恒等式证明的几种方法Several Methods for Proving Combinatorial Identities
郑欢欢, 靳海涛 下载量: 553 浏览量: 1,509 国家自然科学基金支持
理论数学 Vol.11 No.6, June 18 2021, PDF, HTML, XML DOI:10.12677/PM.2021.116128 被引量
质点几何定理机器证明的研究进展Research Progress of Automated Particle Geometry Theorems Proving
胡晓璐, 江建国, 张 媛 下载量: 1,196 浏览量: 4,191
应用数学进展 Vol.7 No.12, December 10 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.712173 被引量
分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 786 浏览量: 2,538
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
导数在不等式证明中的应用The Application of Derivative in the Process of Proving Inequalities
刘海欣, 陈敏风 下载量: 256 浏览量: 498 国家自然科学基金支持
理论数学 Vol.13 No.5, May 31 2023, PDF, HTML, XML DOI:10.12677/PM.2023.135149 被引量
应用Beta函数证明沃利斯公式的两种新证法Two New Methods of Proving Wallis Formula by Using Beta Function
裴红梅, 张美丽, 商洁琳 下载量: 460 浏览量: 764
理论数学 Vol.11 No.7, July 22 2021, PDF, HTML, XML DOI:10.12677/PM.2021.117161 被引量
拉丁方设计的统计量分布证明过程教学设计Teaching Design of Proving of StatisticsDistribution for Latin Design
唐安氏 下载量: 207 浏览量: 279 科研立项经费支持
统计学与应用 Vol.11 No.3, June 29 2022, PDF, , DOI:10.12677/SA.2022.113071 被引量
预控法在二元函数极限证明中的应用Application of Pre-Control Method in Proving the Limit of Binary Function
贾瑞玲, 孙铭娟, 韩艺兵 下载量: 238 浏览量: 406
理论数学 Vol.12 No.5, May 12 2022, PDF, HTML, XML DOI:10.12677/PM.2022.125077 被引量
机械性吸呼技术在有创机械通气中的应用进展Progress in the Application of Mechanical Insufflation-Exsufflation in Invasive Mechanical Ventilation
杨慧慧, 杨紫楠, 杨春婷, 刘春霞, 杜全胜 下载量: 240 浏览量: 332 科研立项经费支持
临床医学进展 Vol.13 No.11, November 8 2023, PDF, HTML, XML DOI:10.12677/ACM.2023.13112433 被引量
黎曼猜想的证明(一)——证明黎曼猜想的途径、方法和主要步骤(上)Proof of Riemann Hypothesis(一)—The Way, Method and Main Steps of Proving Riemann Hypothesis(1/3 (预印本)
郭志成, 杨 军 下载量: 856 浏览量: 2,544
汉斯预印本 Vol.5 No.1, July 17 2020, PDF, , DOI:10.12677/HANSPrePrints.2020.51019 被引量
黎曼猜想的证明(一)——证明黎曼猜想的途径、方法和主要步骤(中)Proof of Riemann Hypothesis(一)—The Way, Method and Main Steps of Proving Riemann Hypothesis(2/3 (预印本)
郭志成, 杨 军 下载量: 656 浏览量: 1,322
汉斯预印本 Vol.5 No.1, July 17 2020, PDF, , DOI:10.12677/HANSPrePrints.2020.51020 被引量