正则化Consensus问题的收敛性证明Convergence Proof of Regularized Consensus Problems
刘玉洁, 毕文静, 张 炎, 俞 露, 李伟南 下载量: 459 浏览量: 1,435 科研立项经费支持
理论数学 Vol.11 No.3, March 30 2021, PDF, HTML, XML DOI:10.12677/PM.2021.113049 被引量
Sherman-Morrison公式的五种证明方法Five Proof Methods for the Sherman-Morrison Formula
周 芳, 唐楠楠, 李志诚 下载量: 153 浏览量: 277 科研立项经费支持
理论数学 Vol.14 No.1, January 15 2024, PDF, HTML, XML DOI:10.12677/PM.2024.141005 被引量
质点几何定理机器证明的研究进展Research Progress of Automated Particle Geometry Theorems Proving
胡晓璐, 江建国, 张 媛 下载量: 1,260 浏览量: 4,274
应用数学进展 Vol.7 No.12, December 10 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.712173 被引量
基于拓扑度的代数基本定理的证明Proof of the Fundamental Theorem of Algebra Based on Topological Degree
王学蕾 下载量: 366 浏览量: 568 国家自然科学基金支持
理论数学 Vol.12 No.1, January 10 2022, PDF, , DOI:10.12677/PM.2022.121002 被引量
黎曼猜想的证明(一)——证明黎曼猜想的途径、方法和主要步骤(上)Proof of Riemann Hypothesis(一)—The Way, Method and Main Steps of Proving Riemann Hypothesis(1/3 (预印本)
郭志成, 杨 军 下载量: 903 浏览量: 2,608
汉斯预印本 Vol.5 No.1, July 17 2020, PDF, , DOI:10.12677/HANSPrePrints.2020.51019 被引量
命题逻辑中等价公式的证明方法探讨On the Proof Methods of Propositional Equivalences in Propositional Logic
杨恒云 下载量: 496 浏览量: 5,245 国家自然科学基金支持
创新教育研究 Vol.8 No.4, August 12 2020, PDF, HTML, XML DOI:10.12677/CES.2020.84071 被引量
一类特殊正定矩阵的证明问题The Proof Problem of a Special Positive Definite Matrix
徐晓静 下载量: 694 浏览量: 930
应用数学进展 Vol.10 No.4, April 29 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.104141 被引量
随机矩阵概率不等式类的证明The Proof of Probability Inequality of Random Matrix
郑 珂, 宋儒瑛 下载量: 354 浏览量: 549
应用数学进展 Vol.10 No.7, July 22 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.107253 被引量
黎曼猜想的证明(一)——证明黎曼猜想的途径、方法和主要步骤(中)Proof of Riemann Hypothesis(一)—The Way, Method and Main Steps of Proving Riemann Hypothesis(2/3 (预印本)
郭志成, 杨 军 下载量: 693 浏览量: 1,368
汉斯预印本 Vol.5 No.1, July 17 2020, PDF, , DOI:10.12677/HANSPrePrints.2020.51020 被引量
黎曼猜想的证明(一)——证明黎曼猜想的途径、方法和主要步骤(下)Proof of Riemann Hypothesis(一)—The Way, Method and Main Steps of Proving Riemann Hypothesis(3/3 (预印本)
郭志成, 杨 军 下载量: 542 浏览量: 1,490
汉斯预印本 Vol.5 No.1, July 17 2020, PDF, , DOI:10.12677/HANSPrePrints.2020.51021 被引量