形式三角矩阵环上的PGF模PGF Modules over Formal Triangular Matrix Rings
薛淑娴, 杨 刚 下载量: 536 浏览量: 810 国家自然科学基金支持
理论数学 Vol.10 No.11, November 27 2020, PDF, , DOI:10.12677/PM.2020.1011130 被引量
论证体篇章结构的形式化描述Formal Description for the Argumentative Discourse Structure
钟茂生, 江超, 王琪 下载量: 1,727 浏览量: 2,788 国家自然科学基金支持
现代语言学 Vol.5 No.4, November 15 2017, PDF, , XML DOI:10.12677/ML.2017.54046 被引量
RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 799 浏览量: 1,330
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量
试析it形式主语句中that从句的句法成分An Analysis of the Syntactic Constituent of That Clause in the Sentence Pattern with Formal Subject
赵欣语 下载量: 183 浏览量: 282
现代语言学 Vol.11 No.12, December 13 2023, PDF, HTML, XML DOI:10.12677/ML.2023.1112788 被引量
形式三角矩阵环上的Gorenstein FI-内射模Gorenstein FI-Injective Modules Over Formal Triangular Matrix Rings
赵为东 下载量: 97 浏览量: 153
理论数学 Vol.13 No.12, December 29 2023, PDF, , DOI:10.12677/PM.2023.1312390 被引量
形式级数域上Oppenheim连分数展式的一些算术性质Some Arithmetic Properties of Oppenheim Continued Fraction Expansion over the Field of Formal Series
薛 文 下载量: 236 浏览量: 416
理论数学 Vol.13 No.4, April 26 2023, PDF, HTML, XML DOI:10.12677/PM.2023.134092 被引量
两类形式幂级数的递推公式The Recursive Formula of Two Kinds of Formal Power Series
陈艳丽, 及万会 下载量: 3,485 浏览量: 10,378 科研立项经费支持
理论数学 Vol.4 No.4, July 28 2014, PDF, , XML DOI:10.12677/PM.2014.44020 被引量
形式三角矩阵环上的Gorenstein AC-投射维数Gorenstein AC-Projective Dimensions over Formal Triangular Matrix Rings
李帮禹, 杨晓燕 下载量: 389 浏览量: 600
理论数学 Vol.12 No.1, January 21 2022, PDF, , DOI:10.12677/PM.2022.121015 被引量
基于三支决策的文本形式背景分类模型的研究Research on Textual Formal Context Classification Model Based on Three-Way Decision
毛 华, 梁思齐, 武振宇 下载量: 638 浏览量: 944 国家自然科学基金支持
理论数学 Vol.10 No.5, April 30 2020, PDF, HTML, XML DOI:10.12677/PM.2020.105049 被引量
利用“结构分析–形式统一法”求解数学题目Solving Mathematical Problems by Structural Analysis Method and Formal Unification Method
王耀革, 崔国忠, 郭从洲 下载量: 617 浏览量: 1,100 国家自然科学基金支持
理论数学 Vol.10 No.5, May 20 2020, PDF, HTML, XML DOI:10.12677/PM.2020.105064 被引量