Hamiltonian functions; Partial differential equations; Recursive functions; Symmetry; Matrices (Mathematics); Nonlinearity; Operators (Mathematics); Theorem proving;
机译:由非遗传,不均匀和时间依赖的递归运算符生成的对称的局部性:形式对称的新应用
机译:由非遗传,不均匀和时间依赖的递归运算符生成的对称的局部性:形式对称的新应用
机译:没有递归运算符或主对称的无限多个局部更高对称:重新讨论Foursov-Burgers系统的可积性
机译:非线性差分方程多项式保守密度,广义对称性和递归算子的象征性计算
机译:基于知识库的机器(人工智能,一阶查询,PROLOG,“剪切”运算符,第五代计算机)的高层次关系处理器上的递归和规则选择
机译:可积微分方程的有理递归运算符
机译:偏微分方程非变分对称的对称递归运算符的公式