规则集的化简及相关性质的判定Simplifing Set of Rules and Judging Relative Properties
张亦舜 下载量: 1,509 浏览量: 5,194
计算机科学与应用 Vol.6 No.9, September 29 2016, PDF, , XML DOI:10.12677/CSA.2016.69067 被引量
有限维模李超代数的单性W⌒(n,m) The Simplicity of the Finite-dimensional Modular Lie Superalgebra W⌒(n,m)
王 璐, 张丽华 下载量: 2,887 浏览量: 7,957
理论数学 Vol.4 No.6, November 21 2014, PDF, , XML DOI:10.12677/PM.2014.46036 被引量
空间地图投影数学分析研究现状与对策The Research Status and Countermeasures of the Space Map Projection
李厚朴, 唐庆辉, 边少锋, 李松林 下载量: 1,385 浏览量: 3,586 国家自然科学基金支持
测绘科学技术 Vol.6 No.2, April 28 2018, PDF, HTML, XML DOI:10.12677/GST.2018.62013 被引量
基于变量排序的乘法器电路验证结果的认证器Authenticator for Verification Results of Multiplier Circuits Based on Variable Ordering
史美琦, 齐 爽, 冯天烁, 江建国 下载量: 295 浏览量: 420
计算机科学与应用 Vol.13 No.10, October 27 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.1310196 被引量
农林院校机器人学数学基础课程的教学改革与实践——以东北林业大学代数类研究生为例Reform and Practice of Mathematical Foundation Courses in Robotics at Agricultural and Forestry Universities—A Case Study of Algebraic Graduate Students at Northeast Forestry University
郑克礼 下载量: 47 浏览量: 86 科研立项经费支持
教育进展 Vol.14 No.6, June 21 2024, PDF, , XML DOI:10.12677/ae.2024.146958 被引量
一类(1 + 2)-维非线性薛定谔方程的Lie-对称分析The Lie-Symmetry Analysis of (1 + 2)-Coupled Nonlinear Schrodinger Equations
徐冬冬, 朝 鲁 下载量: 2,440 浏览量: 5,476 国家自然科学基金支持
动力系统与控制 Vol.5 No.1, January 14 2016, PDF, , XML DOI:10.12677/DSC.2016.51003 被引量
推理规则链的确定性构建Creating a Reasoning Chain Determinately
张亦舜 下载量: 1,552 浏览量: 4,073
计算机科学与应用 Vol.6 No.9, September 29 2016, PDF, , XML DOI:10.12677/CSA.2016.69068 被引量
Caputo分数阶微分方程解的唯一性Uniqueness of Positive Solutions for the Caputo Fractional Differential Equation
徐超宇, 王 颖, 訾玉梅 下载量: 131 浏览量: 234 科研立项经费支持
应用数学进展 Vol.13 No.4, April 11 2024, PDF, , DOI:10.12677/AAM.2024.134111 被引量
Hom-Hopf代数上的交叉余积Crossed Coproducts over Hom-Hopf Algebras
王 恬, 吕家凤, 刘 玲 下载量: 378 浏览量: 493 国家自然科学基金支持
应用数学进展 Vol.10 No.8, August 19 2021, PDF, , DOI:10.12677/AAM.2021.108294 被引量
六元语言真值模态命题逻辑及其归结自动推理研究6-Element Linguistic Truth-Valued Modal Proposition Logic and Resolution Automated Reasoning
王诗慧, 王艳芳, 崔晓松 下载量: 367 浏览量: 539
计算机科学与应用 Vol.12 No.5, May 31 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.125141 被引量