Differential equations; Liveness; Differential dynamic logic;
机译:差分方程存在和活跃的公理方法
机译:基于微分求积法的模糊微分方程相关的偏微分方程系统
机译:麦克斯韦方程的公理化方法
机译:微分方程活力的公理学方法
机译:具有微分参数的二阶线性微分方程微分Galois理论的一种算法方法。
机译:一种神经动力学方法对奇异常微分方程的研究
机译:Inf-sup型微分对策和Isaacs方程:动态规划方法(微分方程的粘度解理论及其发展)