基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 194 浏览量: 285
应用数学进展 Vol.11 No.11, November 28 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111867 被引量
揭示微积分的基本思想方法——用以指导微积分的教学Revealing the Basic Idea and Method of Calculus—To Guide the Teaching of Calculus
王爱平, 廖 嘉 下载量: 347 浏览量: 717 科研立项经费支持
创新教育研究 Vol.10 No.11, November 25 2022, PDF, HTML, XML DOI:10.12677/CES.2022.1011460 被引量
胆囊管结石的研究进展Research Progress of Calculus of Cystic Duct
木拉地里江·买提巴克, 赵晋明 下载量: 91 浏览量: 182
临床医学进展 Vol.14 No.1, January 5 2024, PDF, HTML, XML DOI:10.12677/ACM.2024.141015 被引量
让直观性原则融于微积分的教学Integrating the Principle of Visuality into the Teaching of Calculus
郭鹏飞, 冯秀芳, 张超龙, 吴东庆 下载量: 854 浏览量: 2,094
创新教育研究 Vol.7 No.1, February 27 2019, PDF, HTML, XML DOI:10.12677/CES.2019.71022 被引量
不规则边坡稳定性的微积分算法Calculus Algorithm for Stability of Irregular Slopes
刘 阳, 姚多喜, 宋 涛 下载量: 424 浏览量: 590
矿山工程 Vol.9 No.3, June 25 2021, PDF, HTML, XML DOI:10.12677/ME.2021.93027 被引量
一类条件代数不等式的注记A Note on a Class of Conditional Algebraic Inequalities
蒋鼎宏, 柏传志 下载量: 325 浏览量: 488 国家自然科学基金支持
理论数学 Vol.11 No.10, October 22 2021, PDF, HTML, XML DOI:10.12677/PM.2021.1110198 被引量
3阶Hessenberg符号模式矩阵允许代数正和要求代数正Hessenberg Sign Pattern Matrices with Order 3 that Allow Algebraic Positivity and Require Algebraic Positivity
焦 旸, 田 岩 下载量: 249 浏览量: 384 科研立项经费支持
应用数学进展 Vol.11 No.8, August 8 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.118556 被引量
翻转课堂理念下的《微积分》作业设计The Operation Design of “Calculus” in the Concept of Flipped Classroom
撒晓雪, 董少亭, 张 蕾 下载量: 1,539 浏览量: 4,858 科研立项经费支持
创新教育研究 Vol.5 No.2, May 12 2017, PDF, , XML DOI:10.12677/CES.2017.52017 被引量
大学物理课程教学中微积分方法使用的探讨Discussion on the Use of Calculus Method in College Physics Teaching
梁席民, 陈叶叶 下载量: 268 浏览量: 358 科研立项经费支持
教育进展 Vol.13 No.8, August 23 2023, PDF, HTML, XML DOI:10.12677/AE.2023.138925 被引量
线上线下两种模式下微积分教学的思考Thinking of Calculus Teaching under Two Modes of Online and Offline
赵顺心 下载量: 315 浏览量: 466
社会科学前沿 Vol.10 No.3, March 17 2021, PDF, HTML, XML DOI:10.12677/ASS.2021.103077 被引量