孙子定理的一个证明A Proof of Chinese Remainder Theorem
杨继明 下载量: 1,164 浏览量: 2,035
理论数学 Vol.9 No.3, May 6 2019, PDF, HTML, XML DOI:10.12677/PM.2019.93034 被引量
组合恒等式证明的几种方法Several Methods for Proving Combinatorial Identities
郑欢欢, 靳海涛 下载量: 567 浏览量: 1,542 国家自然科学基金支持
理论数学 Vol.11 No.6, June 18 2021, PDF, HTML, XML DOI:10.12677/PM.2021.116128 被引量
关于矩阵秩不等式问题的证明与应用The Proof and Application of Inequality Problem Related to Matrix Rank
何雪萍 下载量: 47 浏览量: 80
应用数学进展 Vol.13 No.4, April 24 2024, PDF, , DOI:10.12677/AAM.2024.134134 被引量
一类积分不等式的证明及其应用A Class of Integral Inequalities and Their Applications
王红青 下载量: 88 浏览量: 166
理论数学 Vol.13 No.12, December 27 2023, PDF, HTML, XML DOI:10.12677/PM.2023.1312374 被引量
分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 812 浏览量: 2,573
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
刑事电子数据形式真实性证明研究Research on the Formal Authenticity Proof of Criminal Electronic Data
李嘉陵 下载量: 592 浏览量: 1,319
法学 Vol.9 No.1, January 28 2021, PDF, HTML, XML DOI:10.12677/OJLS.2021.91026 被引量
论笛卡尔《哲学原理》中关于上帝存在的证明On the Proof of the Existence of God in Descartes’ Principia Philosophiae
黄 锐 下载量: 136 浏览量: 374
哲学进展 Vol.12 No.12, December 19 2023, PDF, HTML, XML DOI:10.12677/ACPP.2023.1212402 被引量
基于RSA属性集工作量证明算法的研究Research Based on the RSA Attribute Set Proof of Work Algorithm
罗 锐, 李子臣 下载量: 397 浏览量: 556
计算机科学与应用 Vol.11 No.11, November 8 2021, PDF, HTML, XML DOI:10.12677/CSA.2021.1111265 被引量
我国行政协议诉讼证明责任分配研究Research on the Allocation of the Burden of Proof in China’s Administrative Agreement Litigation
何亚林 下载量: 63 浏览量: 95
法学 Vol.12 No.1, January 31 2024, PDF, HTML, XML DOI:10.12677/OJLS.2024.121079 被引量
t分布的渐进正态性证明及其特点分析Proof of Asymptotic Normality of t Distribution and Analysis of Its Characteristics
杨欣童 下载量: 669 浏览量: 1,985
理论数学 Vol.10 No.9, September 22 2020, PDF, HTML, XML DOI:10.12677/PM.2020.109099 被引量