形式三角矩阵环上的Gorenstein AC-投射维数Gorenstein AC-Projective Dimensions over Formal Triangular Matrix Rings
李帮禹, 杨晓燕 下载量: 406 浏览量: 620
理论数学 Vol.12 No.1, January 21 2022, PDF, , DOI:10.12677/PM.2022.121015 被引量
形式三角矩阵环上的强Gorenstein FP-内射模Strongly Gorenstein FP-Injective Modules over Formal Triangular Matrix Rings
谭 进 下载量: 360 浏览量: 1,187
理论数学 Vol.12 No.7, July 14 2022, PDF, , DOI:10.12677/PM.2022.127127 被引量
形式幂级数在复解析族形变中的应用Formal Power Series Applied to Deformation of Complex Analytic Family
杨秋花, 甘丽宁, 卢卫君 下载量: 407 浏览量: 3,043 国家自然科学基金支持
应用数学进展 Vol.10 No.5, May 28 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.105185 被引量
电力系统健康的形式化定义Formal Definition of Power System Health
池晓金, 郑文斌, 牛 伟, 陈梦娴, 何 佩, 郭阳明 下载量: 399 浏览量: 580 科研立项经费支持
电力与能源进展 Vol.9 No.2, April 19 2021, PDF, HTML, XML DOI:10.12677/AEPE.2021.92008 被引量
岩体质量评判的多粒度计算方法Multi-Grained Calculation Method for Rock Mass Quality Evaluation
刘 谦, 杜宝苍, 毛 华, 连萌璇, 刘 川, 张植明, 杨兰珍 下载量: 290 浏览量: 461 科研立项经费支持
理论数学 Vol.12 No.6, June 23 2022, PDF, HTML, XML DOI:10.12677/PM.2022.126108 被引量
Gro¨ bner基方法验证乘法器的Maple实现Maple Implementation of Verification Multiplier Based on Gro¨ bner Basis
刘佳姝, 张璇思, 江建国 下载量: 687 浏览量: 1,013
应用数学进展 Vol.9 No.11, November 17 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.911220 被引量
GrO¨bner基法验证乘法器的设计与实现Design and Implementation of GrO¨bner Basis Verification Multiplier
吕妍颖, 张小盈, 江建国 下载量: 324 浏览量: 2,033
应用数学进展 Vol.10 No.10, October 26 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.1010369 被引量
正式体动宾式带宾语现象与句法分析The Phenomenon and Syntactic Analysis of Formal Verb-Abject Tense with Object
吴睿瑄 下载量: 517 浏览量: 800
现代语言学 Vol.10 No.6, June 30 2022, PDF, HTML, XML DOI:10.12677/ML.2022.106187 被引量
分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 908 浏览量: 2,767
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
论现代建筑的形式逻辑:理性原则的递归Formal Logic in Modern Architecture: Recursion of Rational Principles
成雨潼 下载量: 164 浏览量: 393
艺术研究快报 Vol.13 No.2, May 27 2024, PDF, HTML, XML DOI:10.12677/arl.2024.132013 被引量