基于新消元法勾股定理的机械化证明Mechanical Proof Based on New Elimination Method for the Pythagorean Theorem
周亚南 下载量: 1,516 浏览量: 3,248
理论数学 Vol.8 No.5, September 6 2018, PDF, HTML, XML DOI:10.12677/PM.2018.85063 被引量
准对称信道信道容量的证明及其Matlab实现Proof and Matlab Simulation of the Para-Symmetry DMC Capacity
郝海霞, 张 磊, 徐子钧, 武 梅 下载量: 1,087 浏览量: 4,703 科研立项经费支持
理论数学 Vol.9 No.3, May 24 2019, PDF, HTML, XML DOI:10.12677/PM.2019.93062 被引量
中学基本初等函数导数的高观点证明A High View Proof of the Derivative of Basic Elementary Functions in Middle School
刁玉存, 徐苏苏, 徐志恒, 蒋依夏 下载量: 348 浏览量: 631 科研立项经费支持
理论数学 Vol.12 No.10, October 18 2022, PDF, HTML, XML DOI:10.12677/PM.2022.1210176 被引量
富含有害气体地层长距离大埋深盾构穿越隧道接缝防气性能试验研究Experimental Study on Gas-Proof Performance of Shield Crossing Tunnel Joints with Long Distance and Large Embedded Depth in Stratum Rich in Harmful Gases
侯 宇, 薛 飞, 王成林, 洪 叶, 王 岳, 张 磊 下载量: 309 浏览量: 475
地球科学前沿 Vol.12 No.8, August 12 2022, PDF, HTML, XML DOI:10.12677/AG.2022.128101 被引量
西安地区油菜防冻保苗技术初探Preliminary Study on Freezing-Proof and Seedling Preservation Technology of Rapeseed in Xi
于艳梅, 杨美悦, 王艳丽, 宋 璐, 许 爽, 常 辉, 刘 喆, 刘佳熠, 杜 艳 下载量: 222 浏览量: 339
农业科学 Vol.12 No.12, December 7 2022, PDF, HTML, XML DOI:10.12677/HJAS.2022.1212165 被引量
探究几类与定积分等式相关的证明问题Exploring Several Proof Problems Related to Definite Integral Equation
贾瑞玲, 文生兰, 孙铭娟 下载量: 302 浏览量: 648 科研立项经费支持
理论数学 Vol.13 No.9, September 15 2023, PDF, HTML, XML DOI:10.12677/PM.2023.139271 被引量
社会保障缴费负担对微观主体的影响研究——以邢台市为例Study on the Impact of Social Security Contribution Burden on Micro Subjects—A Case Study of Xingtai
付娉娉, 杨鸿昊 下载量: 418 浏览量: 561
可持续发展 Vol.13 No.1, January 31 2023, PDF, HTML, XML DOI:10.12677/SD.2023.131041 被引量
磁场中的高斯定理另一证明Another Proof Theorem of Gauss in the Magnetic Field
廖其力, 唐 乐, 余 艳, 邓 娅 下载量: 1,352 浏览量: 4,284
应用物理 Vol.8 No.3, March 28 2018, PDF, HTML, XML DOI:10.12677/APP.2018.83019 被引量
命题逻辑中等价公式的证明方法探讨On the Proof Methods of Propositional Equivalences in Propositional Logic
杨恒云 下载量: 545 浏览量: 5,419 国家自然科学基金支持
创新教育研究 Vol.8 No.4, August 12 2020, PDF, HTML, XML DOI:10.12677/CES.2020.84071 被引量
反垄断民事纠纷可仲裁之理论证成 Theoretical Proof of Arbitrability in Antitrust Civil Disputes
黄 湉 下载量: 145 浏览量: 255
争议解决 Vol.10 No.2, February 26 2024, PDF, HTML, XML DOI:10.12677/DS.2024.102132 被引量