微分公式相关硕士博士期刊学术论文 - 搜论网

微分公式相关论文

一类延迟微分代数方程的单支方法的数值分析

延迟微分代数方程(DDAEs)在计算机辅助设计、电路分析、力学系统、化学反应模拟及自动控制系统的实时仿真等科学与工程应用领域中......

学位

微分方程微分公式渐近稳定性隐式欧拉法

四元数混合运算及特殊函数的微分公式和洛尔定理应用的Mizar实现

数学问题的机器证明是利用计算机证明和求解数学问题。Mizar语言系统是上世纪八十年代开创的集逻辑证明、校验、排版功能于一体的......

学位

四元数混合运算特殊函数微分公式洛尔定理 Mizar系统

看过本文同时还关注