质点几何定理机器证明的研究进展Research Progress of Automated Particle Geometry Theorems Proving
胡晓璐, 江建国, 张 媛 下载量: 1,311 浏览量: 4,360
应用数学进展 Vol.7 No.12, December 10 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.712173 被引量
基于新消元法勾股定理的机械化证明Mechanical Proof Based on New Elimination Method for the Pythagorean Theorem
周亚南 下载量: 1,480 浏览量: 3,175
理论数学 Vol.8 No.5, September 6 2018, PDF, HTML, XML DOI:10.12677/PM.2018.85063 被引量
k树的完美消除序列Perfect Elimination Orderings of k-Trees
王 蕾, 杨卫华 下载量: 274 浏览量: 2,972
应用数学进展 Vol.11 No.12, December 29 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1112951 被引量
融入课程思政的“消元法”教学设计Teaching Design of “Elimination Method” Integrated Into Ideological and Political Education
李莎莎 下载量: 457 浏览量: 1,180
创新教育研究 Vol.9 No.5, October 18 2021, PDF, HTML, XML DOI:10.12677/CES.2021.95210 被引量
代入消元法解二元一次方程组——教学设计与反思Substituting Elimination Method to Solve Binary Linear Equations—Instructional Design and Reflection
朱德玉, 胡卫敏 下载量: 456 浏览量: 685 科研立项经费支持
教育进展 Vol.12 No.10, October 17 2022, PDF, HTML, XML DOI:10.12677/AE.2022.1210597 被引量
求解分块五对角线性方程组的追赶法Forward Elimination and Backward Substitution Algorithm for Solving Block Pentadiagonal Linear Equ-ations
褚宝增, 巨程晖 下载量: 3,655 浏览量: 10,233
理论数学 Vol.3 No.2, March 28 2013, PDF, , DOI:10.12677/PM.2013.32022 被引量
激光粒度仪与密度计法在黏土颗粒分析试验的研究与应用Research and Application of Laser Particle Sizer and Densitometer Method in Clay Particle Analysis Test
李小勇, 宋振海, 郑学秋, 矫芳芳 下载量: 463 浏览量: 891
土木工程 Vol.11 No.1, January 18 2022, PDF, HTML, XML DOI:10.12677/HJCE.2022.111005 被引量
一种消零频的傅里叶变换轮廓术Fourier Transform Profilometry Based on Zero Frequency Elimination
徐星宇, 李炫熹, 边心田 下载量: 1,692 浏览量: 4,191 科研立项经费支持
光电子 Vol.7 No.2, June 23 2017, PDF, , XML DOI:10.12677/OE.2017.72011 被引量
夜间交通监控中的反光干扰消除和车辆检测方法研究Research on Elimination of Reflected Interference and Vehicle Detection in Nighttime Traffic Surveillance
浦世亮, 李姣, 徐向华, 杨建旭 下载量: 1,487 浏览量: 2,496 国家自然科学基金支持
计算机科学与应用 Vol.7 No.12, December 20 2017, PDF, HTML, XML DOI:10.12677/CSA.2017.712137 被引量
非线性代数方程组的一种数值解法A Numerical Method for Solving the Nonlinear Algebraic Equations
周亚南 下载量: 3,961 浏览量: 10,353
应用数学进展 Vol.3 No.2, May 27 2014, PDF, , DOI:10.12677/AAM.2014.32014 被引量