分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 893 浏览量: 2,745
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
图的i-森林分解Decomposition of Graphs into i-Forest
方旭倩 下载量: 612 浏览量: 955
应用数学进展 Vol.9 No.11, November 25 2020, PDF, , DOI:10.12677/AAM.2020.911231 被引量
基于Asmuth-Bloom门限共享秘密图像信息隐藏算法研究Research on Secret Image Threshold Sharing Information Hiding Algorithm Based on Asmuth-Bloom
陈维启, 李祯祯, 张珍珍, 丁海洋, 李子臣 下载量: 613 浏览量: 976 国家自然科学基金支持
计算机科学与应用 Vol.11 No.4, April 23 2021, PDF, HTML, XML DOI:10.12677/CSA.2021.114100 被引量
高阶分数阶微分方程边值问题解的唯一性Uniqueness of Solutions to Boundary Value Problems of Higher Order Fractional Differential Equations
丁 倩 下载量: 40 浏览量: 105
应用数学进展 Vol.13 No.6, June 27 2024, PDF, , XML DOI:10.12677/aam.2024.136276 被引量
次黎曼流形上的次椭圆调和映射梯度估计Gradient Estimate of Subelliptic Harmonic Maps on Sub-Riemannnian Manifolds
邹文婷 下载量: 329 浏览量: 504
应用数学进展 Vol.10 No.11, November 22 2021, PDF, , DOI:10.12677/AAM.2021.1011416 被引量
经典折射定律之谬The error of the classical refraction law (预印本)
刘华山 下载量: 1,195 浏览量: 3,545
汉斯预印本 Vol.2 No.1, May 9 2017, PDF, , DOI:10.12677/HANSPrePrints.2017.21006 被引量
一类离散时间最优控制问题的一阶最优性条件First-Order Optimality Conditions for a Class of Discrete-Time Optimal Control Problems
杨小杭, 徐应涛, 张莹, 杜林岳 下载量: 1,877 浏览量: 3,189 科研立项经费支持
应用数学进展 Vol.5 No.4, November 30 2016, PDF, , XML DOI:10.12677/AAM.2016.54089 被引量
广义拟线性Schrödinger方程的径向解Radial Solutions for Generalized Quasilinear Schrödinger Equations
李青, 姚仰新 下载量: 1,565 浏览量: 3,346
理论数学 Vol.7 No.3, May 16 2017, PDF, , XML DOI:10.12677/PM.2017.73018 被引量
撤稿:具有转移条件且边界条件中含有谱参数的两类三阶有限谱边值问题Two Classes of Third Order Boundary Value Problems of Finite Spectrum with Transmission Conditions and Spectral Parameters in the Boundary Conditions
朱军伟 下载量: 933 浏览量: 2,390 科研立项经费支持
应用数学进展 Vol.8 No.10, October 28 2019, PDF, , DOI:10.12677/AAM.2019.810193 被引量
行列式在多重交替线性空间上的高维推广High Dimensional Extension of Determinant in Multiple Alternating Linear Space (预印本)
李兴源 下载量: 578 浏览量: 1,147
汉斯预印本 Vol.5 No.1, March 19 2020, PDF, , DOI:10.12677/HANSPrePrints.2020.51003 被引量