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 被引量
慈善基础设施的功能与类型:分析框架与多案例比较Functions and Types of Philanthropy Infrastructure: Analysis Framework and Multi Case Comparative Study
崔以为 下载量: 77 浏览量: 118
社会科学前沿 Vol.13 No.4, April 30 2024, PDF, , DOI:10.12677/ass.2024.134341 被引量
辞格认同在中国典籍中的应用——以《韩非子》中层递为例The Application of Figure Identification in Chinese Classics—Climax in Han Feizi
李红燕 下载量: 123 浏览量: 176
现代语言学 Vol.12 No.4, April 22 2024, PDF, HTML, XML DOI:10.12677/ml.2024.124243 被引量
基于指针数组的Gr?bner基方法的优化Optimization of Gr?bner Basis Method Based on Pointer Array
齐 爽, 冯天烁, 史美琦, 江建国 下载量: 315 浏览量: 419
计算机科学与应用 Vol.13 No.7, July 28 2023, PDF, HTML, XML DOI:10.12677/CSA.2023.137147 被引量
概念格与拓扑Concept Lattice and Topology
李伯权, 鲍玉曦 下载量: 1,867 浏览量: 4,536 科研立项经费支持
理论数学 Vol.6 No.5, September 26 2016, PDF, , XML DOI:10.12677/PM.2016.65058 被引量
基于主成分分析的模糊概念格Fuzzy Concept Lattice Based on Principal Component Analysis
张露迪 下载量: 205 浏览量: 306
应用数学进展 Vol.12 No.12, December 8 2023, PDF, HTML, XML DOI:10.12677/AAM.2023.1212486 被引量
破坏生产经营罪中“其他方法”的认定 Determination of “Other Methods” in the Crime of Destroying Production and Operation
周 乾 下载量: 239 浏览量: 424
争议解决 Vol.9 No.4, July 26 2023, PDF, HTML, XML DOI:10.12677/DS.2023.94221 被引量
基于Levelt话语生成模型的大学英语词汇教学分析Analysis of College English Lexical Teaching from the Perspective of Levelt’s Discourse Model
黄立华 下载量: 2,882 浏览量: 7,717
创新教育研究 Vol.1 No.2, November 20 2013, PDF, , XML DOI:10.12677/CES.2013.12005 被引量
类型化视角下网络游戏直播画面的著作权归属问题Copyright Attribution of Online Game Live Screens under the Perspective of Typecasting
林汶欣 下载量: 221 浏览量: 1,728
法学 Vol.11 No.6, November 15 2023, PDF, HTML, XML DOI:10.12677/OJLS.2023.116776 被引量
分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 909 浏览量: 2,768
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量