机译:基于广义扩展理论的线性时变系统(线性算子)的时频传递函数演算(符号演算)[综述]
机译:持续时间演算与定时线性时间逻辑的统一证明方法
机译:通过使用适形分数微积分和Caputo分析线性连续时间系统
机译:用于线性时间μ-微积分的证据系统
机译:有界线性演算:基于有界线性逻辑的多项式时间可计算函数的表征
机译:基于对均衡的线性化行为的一类时变非线动力系统的近似可达性:应用于流行模型的应用
机译:线性时间微积分的证明系统
机译:211平分态positivstellensatz微积分证明度的线性下界