分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 909 浏览量: 2,769
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
亚纯函数涉及分担值集的一个结果A Result of Meromorphic Functions Involving Sharing Value Sets
赖 铭, 李荣慧 下载量: 768 浏览量: 1,087
理论数学 Vol.10 No.1, January 19 2020, PDF, HTML, XML DOI:10.12677/PM.2020.101007 被引量
一种传递群的构造举例Construction of an Example of a Transitive Group
李 诺, 邓 奇 下载量: 291 浏览量: 442
理论数学 Vol.11 No.12, December 15 2021, PDF, HTML, XML DOI:10.12677/PM.2021.1112225 被引量
树和路的乘积图的广义染色数及博弈染色数The Generalized Coloring Number and Game Coloring Number of Product Graph of Treeand Path
刘佳丽 下载量: 279 浏览量: 396
应用数学进展 Vol.11 No.1, January 26 2022, PDF, , DOI:10.12677/AAM.2022.111039 被引量
基于Vision Transformer的有学习的侧信道攻击模型Learning Side Channel Attack Model Based on Vision Transformer
廖杨杰, 王 燚 下载量: 307 浏览量: 549 科研立项经费支持
应用数学进展 Vol.12 No.4, April 24 2023, PDF, HTML, XML DOI:10.12677/AAM.2023.124163 被引量
有限个线段映射的笛卡尔乘积的局部变差增长与局部拓扑熵Pointwise Variation Growth and Entropy of the Descartes Product of a Few of Interval Maps
黎日松, 陈增雄 下载量: 3,464 浏览量: 8,512 科研立项经费支持
理论数学 Vol.1 No.3, October 31 2011, PDF, , DOI:10.12677/pm.2011.13036 被引量
凸体的Steiner对称化的两个定理Two Theorems of Steiner Symmetrization on Convex Bodies
孙丽英 下载量: 1,549 浏览量: 2,924
理论数学 Vol.7 No.5, August 21 2017, PDF, HTML, XML DOI:10.12677/PM.2017.75047 被引量
极大余挠模Max-Cotorsion Modules
杨娟妮, 杨晓燕 下载量: 217 浏览量: 262
理论数学 Vol.13 No.5, May 29 2023, PDF, , DOI:10.12677/PM.2023.135138 被引量
Smax上2 × 2拟可逆矩阵的研究Study on 2 × 2 Quasi-Invertible Matrices over Smax
张利萍, 苏 瑞, 李思琸 下载量: 146 浏览量: 269 科研立项经费支持
理论数学 Vol.14 No.1, January 31 2024, PDF, HTML, XML DOI:10.12677/PM.2024.141035 被引量
基于Stacking的侧信道攻击Stacking-Based Side-Channel Attacks
刘 阳, 王 燚 下载量: 319 浏览量: 534 科研立项经费支持
应用数学进展 Vol.11 No.12, December 23 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1112924 被引量