如 swMATH ID: 11548 软件作者： 阿布拉莫夫公司。；赫梅尔诺夫，D.E。 描述： 线性微分和差分系统：EGδ-和EGσ-消除。考虑形式为A r（x）ξr y（x）+ξ+A1（x）ξy（x）+A0（x）y（x）=0，ξ∈d dx，E的线性常微分方程组和差分方程组，其中E是移位算子，Ey（x）=y（x+1）。系数A i（x），i=0，θ，r是m阶方阵，它们的项是数域K上x中的多项式，其中A r（x）和A 0（x）是非零矩阵。假设方程独立于K[x，ξ]。对于这种形式的任何系统S，算法EGδ（在微分情况下）和EGσ（在差分情况下）构造了特别是相同形式的包含l的系统S³。该系统的主矩阵A³r（x）的行列式是一个非零多项式，系统S的解集包含系统S的所有解（算法EGδ还提供了许多其他可能性）。给出了利用EGδ和EGσ可以解决的问题的例子。描述了在Maple中实现所提算法的包EG。 主页： http://link.springer.com/article/10.1134%2FS0361768813020023 依赖项： 枫树 相关软件： 枫树;比率差异 引用于： 10文件 全部的 前5名6位作者引用 8 谢尔盖·阿勒克桑德罗维奇·阿布拉莫夫 2 穆雷·A·巴卡图。 2 Anna A.Ryabenko。 1 M.I.巴拉诺夫。 1 Dennis E.Khmelnov。 1 马尔科·佩特科夫舍克 4篇连载文章中引用 5 编程和计算机软件 2 计算数学和数学物理 1 符号计算杂志 1 计算机代数中的ACM通信 全部的 前5名在6个字段中引用 7 常微分方程（34-XX） 4 差分方程和函数方程（39至XX） 4 计算机科学（68至XX） 2 数值分析（65-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 复变量的函数（30-XX） 按年份列出的引文