微分公式相关论文
延迟微分代数方程(DDAEs)在计算机辅助设计、电路分析、力学系统、化学反应模拟及自动控制系统的实时仿真等科学与工程应用领域中......
数学问题的机器证明是利用计算机证明和求解数学问题。Mizar语言系统是上世纪八十年代开创的集逻辑证明、校验、排版功能于一体的......
利用球坐标和柱坐标中单位矢量的微分公式和↓△^2算符表示得到了↓△^2A的分量公式。...
在核密度有足足够高阶的导数类，给出非整数阶高阶奇异积分的连续性和微分公式，这些结果本身以及为今后导出非整数阶高阶奇异积分的换......
本文对四种地图投影法微分公式（平展法）作了详细的分析和比较，这四种公式郎黑尔默特公式、赫里斯托夫公式、博德米累尔公式和奥凯夫公......
从插值型数值微分的矩阵形式出发,通过分析拉格朗日插值多项式中w(x)的特性,推导出等距节点条件下插值型数值微分的几个性质,应用......
