基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢 下载量: 1,589 浏览量: 1,877
应用数学进展 Vol.6 No.8, November 29 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.68123 被引量
Banach空间中变分包含组问题的强收敛性A Strong Convergence Theorem for a General System of Variational Inclusions in Banach Spaces
朱玪艳 下载量: 599 浏览量: 841
理论数学 Vol.10 No.7, July 16 2020, PDF, HTML, XML DOI:10.12677/PM.2020.107077 被引量
高阶非线性分数次边值问题正解的唯一性The Uniqueness of Positive Solutions for Higher Order Boundary Value Problem
王杰, 周晨星 下载量: 1,995 浏览量: 6,060 国家自然科学基金支持
应用数学进展 Vol.5 No.3, August 25 2016, PDF, , XML DOI:10.12677/AAM.2016.53052 被引量
孙子定理的一个证明A Proof of Chinese Remainder Theorem
杨继明 下载量: 1,271 浏览量: 2,205
理论数学 Vol.9 No.3, May 6 2019, PDF, HTML, XML DOI:10.12677/PM.2019.93034 被引量
一类奇异三阶三点边值问题正解的存在性Positive Solutions for a Third-Order Three-Point Singular Boundary Value Problem
吴红萍 下载量: 2,226 浏览量: 4,554 国家自然科学基金支持
应用数学进展 Vol.5 No.1, February 23 2016, PDF, , XML DOI:10.12677/AAM.2016.51004 被引量
一类特殊结构对称矩阵三元组(M、C、K)的逆二次特征问题On the Quadratic Inverse Eigen-Problem for the Special Triple (M, C, K) of Symmetric Matrix
黄贤通, 严深海 下载量: 3,920 浏览量: 11,789 科研立项经费支持
应用数学进展 Vol.1 No.1, August 23 2012, PDF, , DOI:10.12677/AAM.2012.11003 被引量
具非线性来源项的抛物型方程反问题研究An Parabolic Differential Equation Inverse Problem with a Nonlinear Source Term
孙惠, 肖翠娥 下载量: 2,347 浏览量: 5,663 国家自然科学基金支持
应用数学进展 Vol.4 No.4, November 9 2015, PDF, , XML DOI:10.12677/AAM.2015.44040 被引量
Stolz定理及其应用Stolz Theorem and Its Application
刘 波, 刘孝磊, 王丽英 下载量: 774 浏览量: 2,976
理论数学 Vol.10 No.11, November 19 2020, PDF, HTML, XML DOI:10.12677/PM.2020.1011129 被引量
利用Fejér单调性的两个算子和的收敛性定理Convergence Theorem for the Sum of Two Operators via Fejér Monotonicity
洪嘉聪 下载量: 237 浏览量: 370
理论数学 Vol.14 No.1, January 11 2024, PDF, HTML, XML DOI:10.12677/PM.2024.141001 被引量
关于在求数列极限问题时极限存在准则的应用新解A New Solution for the Application of the Criterion for the Existence of Limits When Solving the Limit Problem of a Sequence
陈卓伟, 寇冰煜, 毛自森 下载量: 304 浏览量: 539 科研立项经费支持
理论数学 Vol.13 No.1, January 29 2023, PDF, HTML, XML DOI:10.12677/PM.2023.131012 被引量