基于新消元法勾股定理的机械化证明Mechanical Proof Based on New Elimination Method for the Pythagorean Theorem
周亚南 下载量: 1,527 浏览量: 3,263
理论数学 Vol.8 No.5, September 6 2018, PDF, HTML, XML DOI:10.12677/PM.2018.85063 被引量
拉丁方设计的统计量分布证明过程教学设计Teaching Design of Proving of StatisticsDistribution for Latin Design
唐安氏 下载量: 273 浏览量: 369 科研立项经费支持
统计学与应用 Vol.11 No.3, June 29 2022, PDF, , DOI:10.12677/SA.2022.113071 被引量
良知与天道:王阳明“知行合一”思想新探The Tao of Heaven and Conscience: New Exploration of Wang Yangming’s Thought of “Unity of Knowledge and Action
章 坤 下载量: 438 浏览量: 785
哲学进展 Vol.11 No.5, October 27 2022, PDF, HTML, XML DOI:10.12677/ACPP.2022.115239 被引量
李雅普诺夫第二方法的合理性暨证明The Rationality and Proof of Lyapunov’s Se-cond Method
孔志宏 下载量: 436 浏览量: 744
理论数学 Vol.12 No.7, July 8 2022, PDF, HTML, XML DOI:10.12677/PM.2022.127124 被引量
昆明市生态环境满意度评价及其影响因素分析Evaluation of Ecological Environment Satisfaction and Its Influencing Factors in Kunming
刘 丹 下载量: 522 浏览量: 938
统计学与应用 Vol.9 No.5, October 27 2020, PDF, HTML, XML DOI:10.12677/SA.2020.95086 被引量
昆明市西山区城市景观格局变化及驱动力分析Analysis of Urban Landscape Pattern Change and Driving Force in Xishan District of Kunming City
匡媛媛 下载量: 952 浏览量: 2,881
地理科学研究 Vol.8 No.4, November 14 2019, PDF, HTML, XML DOI:10.12677/GSER.2019.84035 被引量
660阶单群同构于PSL(2,11)的初等群论证明An Elementary Proof that the Simple Group of Order 660 Is Isomorphism to PSL(2,11
周 峰, 徐 涛, 刘合国 下载量: 3,516 浏览量: 8,603 科研立项经费支持
理论数学 Vol.3 No.4, July 10 2013, PDF, , DOI:10.12677/PM.2013.34036 被引量
昆明城市饮用水源地现状问题及保护对策Current Problems and Protection Countermeasures for Drinking Water Sources in Kunming City
丁俊凯 下载量: 2,116 浏览量: 5,985
水资源研究 Vol.5 No.3, May 31 2016, PDF, , XML DOI:10.12677/JWRR.2016.53034 被引量
预控法在二元函数极限证明中的应用Application of Pre-Control Method in Proving the Limit of Binary Function
贾瑞玲, 孙铭娟, 韩艺兵 下载量: 392 浏览量: 629
理论数学 Vol.12 No.5, May 12 2022, PDF, HTML, XML DOI:10.12677/PM.2022.125077 被引量
论康德纯粹理性批判中的本体论证明On Ontological Proof in Kant’s Critique of Pure Reason
李晓慧 下载量: 337 浏览量: 627
哲学进展 Vol.11 No.6, December 16 2022, PDF, HTML, XML DOI:10.12677/ACPP.2022.116329 被引量