基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢 下载量: 1,565 浏览量: 1,843
应用数学进展 Vol.6 No.8, November 29 2017, PDF, , XML DOI:10.12677/AAM.2017.68123 被引量
希尔伯特空间上混合变分不等式解的存在性条件Existence Conditions of Solutions for Mixed Variational Inequalities in Hilbert Space
王欣睿 下载量: 255 浏览量: 344
理论数学 Vol.13 No.5, May 31 2023, PDF, HTML, XML DOI:10.12677/PM.2023.135144 被引量
具有强阻尼的 Boussinesq 方程指数吸引子的存在性Existence of Exponential Attractor with Strong Damping Boussinesq Equation
张梦琪 下载量: 118 浏览量: 171 国家自然科学基金支持
理论数学 Vol.14 No.4, April 7 2024, PDF, , DOI:10.12677/PM.2024.144105 被引量
无穷区间上奇异边值问题正解的存在性Existence of Positive Solutions for Singular Boundary Value Problems on the Infinite Interval
王 克, 王 颖 下载量: 1,839 浏览量: 3,225 科研立项经费支持
应用数学进展 Vol.6 No.9, December 22 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69140 被引量
带记忆项非经典扩散方程整体强解的存在性Existence of Global Strong Solutions for Nonclassical Diffusion Equations with Memory
罗双利, 张江卫, 李亚楠 下载量: 1,133 浏览量: 2,707
应用数学进展 Vol.7 No.10, October 22 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.710143 被引量
一类带有对数非线性项的拟线性椭圆方程解的存在性及多重性Existence and Multiplicity of Solutions for a Class of Quasilinear Elliptic Equations with Logarithmic Nonlinearity
刘晓莉 下载量: 466 浏览量: 682
理论数学 Vol.12 No.3, March 21 2022, PDF, HTML, XML DOI:10.12677/PM.2022.123044 被引量
一类分数阶薛定谔-泊松系统非平凡解的存在性Existence of Nontrivial Solution for a Class of Fractional Schro¨dinger-Poisson System
孟娟霞 下载量: 193 浏览量: 257
应用数学进展 Vol.12 No.4, April 27 2023, PDF, , DOI:10.12677/AAM.2023.124177 被引量
一类不可压非牛顿Boussinesq方程组正则解的存在性Existence of Regular Solution for a Class of Incompressible Non-Newton Boussinesq Equations
刘 琳, 王长佳 下载量: 227 浏览量: 341 科研立项经费支持
应用数学进展 Vol.12 No.4, April 28 2023, PDF, HTML, XML DOI:10.12677/AAM.2023.124192 被引量
一类非线性发展方程整体强解的存在性研究The Existence of Global Strong Solution for a Class of Nonlinear Evolution Equations
李妍汝, 李青松, 马加磊 下载量: 3,332 浏览量: 8,824 科研立项经费支持
应用数学进展 Vol.3 No.1, February 14 2014, PDF, , DOI:10.12677/AAM.2014.31001 被引量
Peyrard-Bishop DNA模型中分立呼吸子的存在与稳定性分析The Existence and Stability of Discrete Breathers in Peyrard-Bishop DNA Model
吕彬彬, 叶纬明, 田 强 下载量: 3,374 浏览量: 11,387 国家自然科学基金支持
应用物理 Vol.2 No.3, July 18 2012, PDF, , DOI:10.12677/APP.2012.23018 被引量