C*-代数的广义迹秩The Generalized Tracial Rank of C*-Algebra
刘晨晨 下载量: 740 浏览量: 2,012
理论数学 Vol.10 No.4, April 16 2020, PDF, HTML, XML DOI:10.12677/PM.2020.104039 被引量
分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 919 浏览量: 2,785
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
高职《线性代数》课程应用性的思考与策略——以机电类专业为例 Reflections and Strategies on the Application of Linear Algebra in Vocational Colleges—Taking Mechanical and Electrical Majors as an Example
范嘉琪 下载量: 239 浏览量: 348 科研立项经费支持
教育进展 Vol.14 No.3, March 29 2024, PDF, HTML, XML DOI:10.12677/ae.2024.143463 被引量
新时代下《近世代数》课程思政元素的挖掘——以群的定义为例Exploration of Ideological and Political Elements in “Abstract Algebra” in the New Era—Taking the Definition of a Group
付雪荣, 高东杰 下载量: 517 浏览量: 1,338 科研立项经费支持
教育进展 Vol.12 No.8, August 9 2022, PDF, HTML, XML DOI:10.12677/AE.2022.128406 被引量
点态化完备代数正规类中的亚直既约代数类The Subdirectly Irreducible Algebras Classes in Normal Classes of Complete Pointwise Algebra
杨宗文, 何青海 下载量: 1,149 浏览量: 1,416 国家自然科学基金支持
理论数学 Vol.8 No.5, September 19 2018, PDF, HTML, XML DOI:10.12677/PM.2018.85072 被引量
进化逻辑:智能算法下网络思政载体的重组更新Evolutionary Logic: The Reorganization and Update of Network Ideological and Political Carrier Based on Intelligent Algorithm
朱逸涵 下载量: 233 浏览量: 2,828 科研立项经费支持
社会科学前沿 Vol.12 No.5, May 31 2023, PDF, HTML, XML DOI:10.12677/ASS.2023.125372 被引量
马克思科技创新理论的三重逻辑及当代价值The Triple Logic and Contemporary Value of Marx’s Theory of Scientific and Technological Innovation
王婷婷 下载量: 243 浏览量: 477
哲学进展 Vol.13 No.1, January 11 2024, PDF, HTML, XML DOI:10.12677/ACPP.2024.131015 被引量
数理逻辑论证形式有效性算法The Algorithms about Validity of Argument Form in Logic Mathematician
刘巧云 下载量: 916 浏览量: 2,399 科研立项经费支持
理论数学 Vol.9 No.3, May 6 2019, PDF, HTML, XML DOI:10.12677/PM.2019.93036 被引量
Hom-李Color代数的广义导子Generalized Derivations of Hom-Lie Color Algebra
周金森, 范广哲 下载量: 2,240 浏览量: 5,152 国家自然科学基金支持
理论数学 Vol.6 No.3, May 13 2016, PDF, , XML DOI:10.12677/PM.2016.63028 被引量
高等代数与数学分析相互渗透溶合应用研究Research on Mutual Application of Advanced Algebra and Mathematical Analysis Theory
杨柳, 罗成新 下载量: 1,828 浏览量: 2,272 国家自然科学基金支持
应用数学进展 Vol.6 No.3, May 22 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.63028 被引量