推理规则链的确定性构建Creating a Reasoning Chain Determinately
张亦舜 下载量: 1,563 浏览量: 4,121
计算机科学与应用 Vol.6 No.9, September 29 2016, PDF, , XML DOI:10.12677/CSA.2016.69068 被引量
Hom-Hopf代数上的交叉余积Crossed Coproducts over Hom-Hopf Algebras
王 恬, 吕家凤, 刘 玲 下载量: 386 浏览量: 502 国家自然科学基金支持
应用数学进展 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
王诗慧, 王艳芳, 崔晓松 下载量: 371 浏览量: 548
计算机科学与应用 Vol.12 No.5, May 31 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.125141 被引量
随机矩阵新的非1特征值包含集New Sets to Localize All Eigenvalues Different from 1 for a Stochastic Matrix
李素华, 李耀堂 下载量: 2,525 浏览量: 7,245 国家自然科学基金支持
理论数学 Vol.5 No.5, September 28 2015, PDF, , XML DOI:10.12677/PM.2015.55034 被引量
拉格朗日中值定理教学的思考A Note of the Teaching of Lagrange Mean Value Theorem
邱 崇 下载量: 899 浏览量: 2,116 国家自然科学基金支持
教育进展 Vol.10 No.1, December 27 2019, PDF, HTML, XML DOI:10.12677/AE.2020.101008 被引量
效应代数的局部E-自同构Local E-Automorphisms on Effect Algebras
张海燕, 王晓慧 下载量: 3,267 浏览量: 6,277
理论数学 Vol.2 No.3, July 27 2012, PDF, , DOI:10.12677/PM.2012.23024 被引量
关于牛顿一元整系数多项式一次因式寻找法的证明A Proof of Newton’s Method for Finding the First Degree Factor of Monovariate Polynomials with Integer Coefficients
杨欣童 下载量: 190 浏览量: 767
理论数学 Vol.13 No.8, August 9 2023, PDF, HTML, XML DOI:10.12677/PM.2023.138239 被引量
复正交李超代数osp(1,2)的拟型心与型心的矩阵表示Matrix Representation of Centroids and Quasi Centroids of the Complex Orthogonal Lie Superalgebras
董瑞林, 张晓茹, 郑克礼 下载量: 485 浏览量: 711 科研立项经费支持
理论数学 Vol.12 No.9, September 20 2022, PDF, HTML, XML DOI:10.12677/PM.2022.129162 被引量
二维预约当代数的Rota-Baxter算子Rota-Baxter Operators on Two-Dimensional Pre-Jordan Algebras
王智斌 下载量: 282 浏览量: 384
理论数学 Vol.13 No.11, November 9 2023, PDF, HTML, XML DOI:10.12677/PM.2023.1311327 被引量
BiHom-双代数上的Radford's余积Radford's Biproduct onBiHom-Bialgebras
庞佳琳, 吕家凤, 刘 玲 下载量: 280 浏览量: 390
应用数学进展 Vol.10 No.8, August 24 2021, PDF, , DOI:10.12677/AAM.2021.108295 被引量