Archimedean Spiral上矩阵值边值问题Matrix Valued Boundary Value Problem on Archimedean Spiral
范少华 下载量: 174 浏览量: 284
理论数学 Vol.13 No.4, April 24 2023, PDF, HTML, XML DOI:10.12677/PM.2023.134088 被引量
Morita环上的强Gorenstein投射模Strongly Gorenstein Projective Modules over Morita Rings
杨鲜红 下载量: 344 浏览量: 1,969
理论数学 Vol.13 No.6, June 6 2023, PDF, HTML, XML DOI:10.12677/PM.2023.136157 被引量
指数函数曲线上的矩阵值Riemann边值问题Matrix Value Riemann Boundary Value Problems on the Exponential Function Curve
刘艳楠, 刘 华 下载量: 304 浏览量: 492
理论数学 Vol.13 No.2, February 16 2023, PDF, HTML, XML DOI:10.12677/PM.2023.132025 被引量
矩阵代数上的2-局部Lie导子2-Local Lie Derivations on Matrix Algebras
高永兰, 安润玲 下载量: 771 浏览量: 2,329
应用数学进展 Vol.9 No.12, December 28 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.912256 被引量
理想在环中的作用Function of Ideal in Ring
张翻红, 姚淑霞 下载量: 901 浏览量: 2,006 国家自然科学基金支持
理论数学 Vol.10 No.3, March 17 2020, PDF, HTML, XML DOI:10.12677/PM.2020.103031 被引量
国内外三棱针针具的起源与发展Origin and Development of Triangular Needles at Home and Abroad
史晓瑜, 刘堂义, 杨华元 下载量: 2,062 浏览量: 6,327 国家科技经费支持
中医学 Vol.5 No.4, November 29 2016, PDF, HTML, XML DOI:10.12677/TCM.2016.54023 被引量
形式语言学研究现状和发展趋势——第九届形式语言学国际研讨会会议综述The Current Research and Future Development of Formal Linguistics—A Review of the 9th International Conference on Formal Linguistics
马艳晓 下载量: 615 浏览量: 908
现代语言学 Vol.11 No.3, March 31 2023, PDF, HTML, XML DOI:10.12677/ML.2023.113169 被引量
论证体篇章结构的形式化描述Formal Description for the Argumentative Discourse Structure
钟茂生, 江超, 王琪 下载量: 1,734 浏览量: 2,797 国家自然科学基金支持
现代语言学 Vol.5 No.4, November 15 2017, PDF, HTML, XML DOI:10.12677/ML.2017.54046 被引量
RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 818 浏览量: 1,356
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量
《范畴的普遍结构:形式类型学视角》评介A Review of the Universal Structure of Categories: Towards a Formal Typology
杜 青 下载量: 203 浏览量: 246
现代语言学 Vol.11 No.12, December 19 2023, PDF, HTML, XML DOI:10.12677/ML.2023.1112809 被引量