基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢 下载量: 1,581 浏览量: 1,864
应用数学进展 Vol.6 No.8, November 29 2017, PDF, , XML DOI:10.12677/AAM.2017.68123 被引量
对称Max Plus半环上热带多项式的根Roots of Tropical Polynomials over Symmetric Max-Plus Semiring
苏 瑞, 秦靖玻 下载量: 328 浏览量: 487 科研立项经费支持
理论数学 Vol.12 No.10, October 26 2022, PDF, HTML, XML DOI:10.12677/PM.2022.1210189 被引量
中心条件充分性的一些证明方法Some Methods to Prove Sufficient Condition for a Critical Point to Be a Center
崔玉娇, 李红伟, 于蓉蓉, 史 静 下载量: 937 浏览量: 1,342
理论数学 Vol.9 No.2, March 7 2019, PDF, HTML, XML DOI:10.12677/PM.2019.92017 被引量
函数k(u)=▏sinu▏+a所确定的Wulff形Wulff Shape Determined by the Function k(u)=▏sinu▏+a
周小静, 蓝一涵 下载量: 241 浏览量: 348
应用数学进展 Vol.12 No.5, May 12 2023, PDF, HTML, XML DOI:10.12677/AAM.2023.125217 被引量
非对易量子引力Noncommutative Quantum Gravity
李 刚 下载量: 1,785 浏览量: 5,238
现代物理 Vol.8 No.3, May 17 2018, PDF, HTML, XML DOI:10.12677/MP.2018.83012 被引量
一主一辅的双平台线上自主学习教学设计——以复变函数与积分变换课程为例Online Self-Directed Learning Teaching Design with One Main and One Auxiliary Dual Platform—Taking the Complex Function and Integral Transform as an Example
王 莉, 孙菊贺, 杨 峥 下载量: 204 浏览量: 277
教育进展 Vol.12 No.11, November 29 2022, PDF, HTML, XML DOI:10.12677/AE.2022.1211765 被引量
一个新的Grüss型不等式A New Grüss Type Inequality
崔晓雪, 梁永顺, 肖 伟 下载量: 969 浏览量: 1,295
应用数学进展 Vol.8 No.5, May 31 2019, PDF, HTML, XML DOI:10.12677/AAM.2019.85114 被引量
整系数多项式无整数根的一个判定A Judgment of Integer Coefficient Polynomials without Integer Root
张棉棉 下载量: 971 浏览量: 2,869
理论数学 Vol.9 No.6, August 7 2019, PDF, HTML, XML DOI:10.12677/PM.2019.96093 被引量
曲线正交坐标系下∇→A→与∇2 A→的一种推导A Derivation of ∇→A→ and ∇2 A→ in Curvilinear Orthogonal Coordinates
陈葛锐, 贺梦冬, 陈小艳 下载量: 508 浏览量: 1,094 科研立项经费支持
力学研究 Vol.10 No.2, June 28 2021, PDF, HTML, XML DOI:10.12677/IJM.2021.102014 被引量
局部射影平坦Berwald型(α, β)度量的一个刻画A Characterization for Locally Projectively Flat Berwald Type (α, β)-Metrics
余昌涛 下载量: 2,426 浏览量: 5,766 国家自然科学基金支持
理论数学 Vol.5 No.4, July 22 2015, PDF, , XML DOI:10.12677/PM.2015.54023 被引量