基于IPFS区块链技术的工业互联网数据可信存储系统Industrial Internet Data Trusted Storage System Based on IPFS Blockchain Technology
陈泓达, 冯云霞, 牛云鹤 下载量: 638 浏览量: 1,261 国家自然科学基金支持
计算机科学与应用 Vol.12 No.5, May 19 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.125129 被引量
基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 222 浏览量: 332
应用数学进展 Vol.11 No.11, November 28 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111867 被引量
基于区块链DPoS共识算法的改进Improvement of DPoS Consensus Algorithm Based on Blockchain
王 昕 下载量: 316 浏览量: 1,413
计算机科学与应用 Vol.12 No.11, November 16 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.1211255 被引量
切比雪夫不等式的几个典型应用Typical Applications of Chebyshev Inequality
陈天问 下载量: 306 浏览量: 1,015
应用数学进展 Vol.11 No.6, June 16 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.116366 被引量
当碰撞核为零时Bolzmann方程特殊解的存在性Existence of Special Solutions to Boltzmann Equations, When the Collision Kernel Is Zero
张 飞 下载量: 1,873 浏览量: 2,764
应用数学进展 Vol.6 No.9, December 21 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69135 被引量
积分因子存在性的充要条件及其应用The Necessary and Sufficient Condition for the Existence of Integrating Factors with Its Application
孔志宏 下载量: 1,613 浏览量: 7,535
理论数学 Vol.8 No.3, May 11 2018, PDF, HTML, XML DOI:10.12677/PM.2018.83027 被引量
关于Fermat型函数方程的整函数解Entire Solutions of Fermat Type Functional Equations
段江梅, 苏 敏 下载量: 1,944 浏览量: 7,344
理论数学 Vol.6 No.2, March 30 2016, PDF, , XML DOI:10.12677/PM.2016.62017 被引量
带有 Yukawa 位势的 Keller-Segel 系统L1–解的全局存在性Global Existence of L1–Solutionsfor the Keller{Segel Systemwith Yukawa Potential
李雅玲 下载量: 126 浏览量: 205
理论数学 Vol.14 No.2, February 29 2024, PDF, , DOI:10.12677/PM.2024.142075 被引量
导数在不等式证明中的应用The Application of Derivative in the Process of Proving Inequalities
刘海欣, 陈敏风 下载量: 441 浏览量: 791 国家自然科学基金支持
理论数学 Vol.13 No.5, May 31 2023, PDF, HTML, XML DOI:10.12677/PM.2023.135149 被引量
分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 903 浏览量: 2,762
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量