基于Somewhat同态加密方案的一种证明 A Proof Based on the Somewhat Homomorphic Encryption Scheme
杨 竞, 范明钰, 王光卫, 孔志印 下载量: 3,191 浏览量: 10,775 科研立项经费支持
软件工程与应用 Vol.2 No.2, April 30 2013, PDF, , DOI:10.12677/SEA.2013.22008 被引量
基于复变函数和积分变换的狄利克雷积分证法简介Proof Methods of Dirichlet Integral Based on Complex Function and Integral Transform
王文波, 常晓兵, 喻 敏 下载量: 3,525 浏览量: 10,388 国家自然科学基金支持
理论数学 Vol.4 No.3, May 26 2014, PDF, , DOI:10.12677/PM.2014.43014 被引量
基于拓扑度的代数基本定理的证明Proof of the Fundamental Theorem of Algebra Based on Topological Degree
王学蕾 下载量: 414 浏览量: 644 国家自然科学基金支持
理论数学 Vol.12 No.1, January 10 2022, PDF, , DOI:10.12677/PM.2022.121002 被引量
Sherman-Morrison公式的五种证明方法Five Proof Methods for the Sherman-Morrison Formula
周 芳, 唐楠楠, 李志诚 下载量: 243 浏览量: 428 科研立项经费支持
理论数学 Vol.14 No.1, January 15 2024, PDF, HTML, XML DOI:10.12677/PM.2024.141005 被引量
一类特殊正定矩阵的证明问题The Proof Problem of a Special Positive Definite Matrix
徐晓静 下载量: 751 浏览量: 1,011
应用数学进展 Vol.10 No.4, April 29 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.104141 被引量
容斥原理的两种证法及其应用Two Proof Methods of the Principle of Inclusion-Exclusion and Their Applications
李匡亚, 曹 靖, 万洪浪 下载量: 488 浏览量: 1,552
理论数学 Vol.12 No.4, April 22 2022, PDF, HTML, XML DOI:10.12677/PM.2022.124068 被引量
防爆履带式液压支架搬运车越障分析Analysis on Obstacles Crossing of Explosion-Proof Crawler Hydraulic Support Carrier
谢 苗, 侯文博, 李玉岐, 李 政, 裴波波, 王鹏飞, 周 甲 下载量: 1,060 浏览量: 2,821
矿山工程 Vol.7 No.3, July 12 2019, PDF, HTML, XML DOI:10.12677/ME.2019.73032 被引量
无动力降噪防碰钻具输送装置The Conveyer of Noise-Reduced and Srash-Proof Drill Pipe
谢晓波, 王琳娜, 韩 霖, 刘淑英, 刘旭超, 郑高鹏 下载量: 2,339 浏览量: 6,828
矿山工程 Vol.3 No.3, July 9 2015, PDF, , XML DOI:10.12677/ME.2015.33011 被引量
基于新消元法勾股定理的机械化证明Mechanical Proof Based on New Elimination Method for the Pythagorean Theorem
周亚南 下载量: 1,521 浏览量: 3,254
理论数学 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,091 浏览量: 4,707 科研立项经费支持
理论数学 Vol.9 No.3, May 24 2019, PDF, HTML, XML DOI:10.12677/PM.2019.93062 被引量