基于活性编码的EUF公式的判定过程A Decision Procedure of EUF Formulas Based on Eager Encoding
程梦奇, 雷斯然, 江建国 下载量: 708 浏览量: 1,065
软件工程与应用 Vol.9 No.1, February 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91006 被引量
关于欧氏平面ℝ²中三角形的John定理The John Theorem for Triangles in 2-Dimension Euclidean Space ℝ²
马统一, 肖 添 下载量: 1,328 浏览量: 7,622 国家自然科学基金支持
应用数学进展 Vol.8 No.5, May 27 2019, PDF, HTML, XML DOI:10.12677/AAM.2019.85109 被引量
测度原理下自由粒子的路径积分研究Path Integral Study of Free Particles under the Principle of Measurement
罗嘉铭 下载量: 376 浏览量: 548
理论数学 Vol.11 No.10, October 14 2021, PDF, HTML, XML DOI:10.12677/PM.2021.1110191 被引量
具有幂零奇点三维系统的二次规范型及普适开折Quadratic Normal Forms and Universal Unfoldings of Three-Dimensional Systems with Nilpotent Singular Points
谢旦旦, 张娜娜 下载量: 1,940 浏览量: 3,204 国家自然科学基金支持
应用数学进展 Vol.5 No.4, November 18 2016, PDF, HTML, XML DOI:10.12677/AAM.2016.54073 被引量
汉语量词的窄域释义The Narrow Scope Reading of Quantifiers in Chinese
何宏华 下载量: 2,885 浏览量: 12,597 科研立项经费支持
现代语言学 Vol.2 No.1, February 28 2014, PDF, , DOI:10.12677/ML.2014.21006 被引量
基于椭圆曲线的高效远程用户认证协议An Efficient Remote User Authentication Protocol Based on Elliptic Curve
周 鑫, 文 康, 翁柏森, 吴奕霄, 王圣宝 下载量: 332 浏览量: 575 国家自然科学基金支持
应用数学进展 Vol.11 No.12, December 9 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1112902 被引量
致密储层流体因子的构建及地震预测方法Methods of Modeling and Prediction a Fluid Factor for Dense Reservoir
元 涛 下载量: 915 浏览量: 1,406
地球科学前沿 Vol.9 No.9, September 29 2019, PDF, HTML, XML DOI:10.12677/AG.2019.99091 被引量
具有幂率衰减边界层的奇摄动问题Singularly Perturbed Problems with a Power-Law Attenuation Boundary Layer
孙玉娇 下载量: 1,440 浏览量: 3,423
应用数学进展 Vol.7 No.1, January 26 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.71013 被引量
化学键的量子化学研究(三)A Quantum Chemistry Study of the Chemical Bond (3)
周光耀 下载量: 1,947 浏览量: 4,916
物理化学进展 Vol.7 No.3, August 9 2018, PDF, HTML, XML DOI:10.12677/JAPC.2018.73015 被引量
扬弃辩证法:马克思对黑格尔辩证法的本体论批判Sublating Dialectics: Marx’s Ontological Criticism of Hegel’s Dialectics
钟齐婧 下载量: 268 浏览量: 425
哲学进展 Vol.13 No.2, February 26 2024, PDF, HTML, XML DOI:10.12677/ACPP.2024.132045 被引量