数理逻辑论证形式有效性算法The Algorithms about Validity of Argument Form in Logic Mathematician
刘巧云 下载量: 873 浏览量: 2,324 科研立项经费支持
理论数学 Vol.9 No.3, May 6 2019, PDF, HTML, XML DOI:10.12677/PM.2019.93036 被引量
《高等数学》教学中课程思政的探索Exploration of Curriculum Ideology and Politics in Higher Mathematics Teaching
潘佳佳 下载量: 327 浏览量: 592 科研立项经费支持
教育进展 Vol.13 No.4, April 12 2023, PDF, HTML, XML DOI:10.12677/AE.2023.134262 被引量
有关Ramanujan展开的结果的综述A Survey on the Results of Ramanujan Expansion
齐田芳 下载量: 604 浏览量: 925
理论数学 Vol.10 No.4, April 22 2020, PDF, HTML, XML DOI:10.12677/PM.2020.104043 被引量
Catalan数在一类特殊的数学结构计数的应用Applications of Catalan Number in a Special Mathematical Structure Counting
耿康, 晁福刚, 任韩 下载量: 2,218 浏览量: 4,382 国家自然科学基金支持
应用数学进展 Vol.5 No.3, August 18 2016, PDF, , XML DOI:10.12677/AAM.2016.53047 被引量
论牛顿的数学机械化思想On Newton’s Thought of Mathematical Mechanization
杨欣童 下载量: 392 浏览量: 670
理论数学 Vol.13 No.4, April 23 2023, PDF, HTML, XML DOI:10.12677/PM.2023.134087 被引量
关于牛顿一元整系数多项式一次因式寻找法的证明A Proof of Newton’s Method for Finding the First Degree Factor of Monovariate Polynomials with Integer Coefficients
杨欣童 下载量: 173 浏览量: 738
理论数学 Vol.13 No.8, August 9 2023, PDF, HTML, XML DOI:10.12677/PM.2023.138239 被引量
数学史融入弧度制的教学设计研究Research on the Teaching Design of Integrating the History of Mathematics into Radian System
马瑞芳, 库在强 下载量: 228 浏览量: 387
教育进展 Vol.13 No.8, August 23 2023, PDF, HTML, XML DOI:10.12677/AE.2023.138922 被引量
沃尔泰拉食饵–捕食者模型的历史研究综述A Review of Historical Research on Volterra’s Predator-Prey Model
杨欣童 下载量: 199 浏览量: 292
交叉科学快报 Vol.8 No.1, March 27 2024, PDF, HTML, XML DOI:10.12677/isl.2024.81007 被引量
时间不一致问题的研究进展Research Summary on Time-Inconsistent Control Problems
蒋太江, 彭云飞 下载量: 606 浏览量: 1,398 国家自然科学基金支持
运筹与模糊学 Vol.10 No.1, February 5 2020, PDF, HTML, XML DOI:10.12677/ORF.2020.101007 被引量
Cantor集与Cantor函数性质探究Research on the Properties of Cantor Sets and Cantor Functions
栾佳璇 下载量: 525 浏览量: 2,535
应用数学进展 Vol.10 No.4, April 28 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.104132 被引量