基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 222 浏览量: 330
应用数学进展 Vol.11 No.11, November 28 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111867 被引量
切比雪夫不等式的几个典型应用Typical Applications of Chebyshev Inequality
陈天问 下载量: 301 浏览量: 1,001
应用数学进展 Vol.11 No.6, June 16 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.116366 被引量
浅谈道路工程中的测量放样Analysis of Methods of Setting Out Survey in Road Construction
杨 强, 李 强, 赵风平 下载量: 496 浏览量: 2,516
石油天然气学报 Vol.42 No.3, September 15 2020, PDF, HTML, XML DOI:10.12677/JOGT.2020.423096 被引量
高考制度改革政策的多源流理论阐释The Interpretation of the Multi-Source and Flow Theory of the College Entrance Examination System Reform Policy
高敏锐 下载量: 256 浏览量: 405
教育进展 Vol.13 No.4, April 28 2023, PDF, HTML, XML DOI:10.12677/AE.2023.134349 被引量
生育登记取消结婚限制的解读与配套措施建议Interpretation of the Abolition of Marriage Restrictions on Birth Registration and Corresponding Measures and Suggestions
石鑫鉴 下载量: 246 浏览量: 434
法学 Vol.11 No.5, September 12 2023, PDF, HTML, XML DOI:10.12677/OJLS.2023.115579 被引量
当碰撞核为零时Bolzmann方程特殊解的存在性Existence of Special Solutions to Boltzmann Equations, When the Collision Kernel Is Zero
张 飞 下载量: 1,864 浏览量: 2,754
应用数学进展 Vol.6 No.9, December 21 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69135 被引量
积分因子存在性的充要条件及其应用The Necessary and Sufficient Condition for the Existence of Integrating Factors with Its Application
孔志宏 下载量: 1,607 浏览量: 7,528
理论数学 Vol.8 No.3, May 11 2018, PDF, HTML, XML DOI:10.12677/PM.2018.83027 被引量
关于Fermat型函数方程的整函数解Entire Solutions of Fermat Type Functional Equations
段江梅, 苏 敏 下载量: 1,931 浏览量: 7,294
理论数学 Vol.6 No.2, March 30 2016, PDF, , XML DOI:10.12677/PM.2016.62017 被引量
带有 Yukawa 位势的 Keller-Segel 系统L1–解的全局存在性Global Existence of L1–Solutionsfor the Keller{Segel Systemwith Yukawa Potential
李雅玲 下载量: 126 浏览量: 202
理论数学 Vol.14 No.2, February 29 2024, PDF, , DOI:10.12677/PM.2024.142075 被引量
导数在不等式证明中的应用The Application of Derivative in the Process of Proving Inequalities
刘海欣, 陈敏风 下载量: 432 浏览量: 770 国家自然科学基金支持
理论数学 Vol.13 No.5, May 31 2023, PDF, HTML, XML DOI:10.12677/PM.2023.135149 被引量