Laplace transform; Formalized mathematics; Theorem proving; Robotic system; Coq;
机译:几个变量的形式拉普拉斯变换的算术研究
机译:Fliess运算符的正式Laplace-Borel变换和组合产品
机译:蝇类算子的形式Laplace-Boel变换及其组成乘积
机译:Laplace变换的两个性质的形式证明
机译:互连非线性系统和形式Laplace-Borel变换的生成系列。
机译:基于LAPLACE变换方法的线性和非线性耦合功能的两个Hindmarsh玫瑰神经元的同步标准
机译:Fliess算子的正式Laplace-Borel变换和组合产品