矿石代数分析 swMATH ID: 15153 软件作者: 托马斯·克鲁索;克里斯托夫·库彻恩 描述: Ore代数上线性系统的有效代数分析方法。物理系统通常由函数方程组建模;这些可以是微分方程、微分时滞系统、离散时间系统等。代数分析方法使用D模理论和同调代数技术,从纯代数的角度研究此类系统。不同类型的系统可以用Ore代数的一般概念统一描述。最近,我们开发了Mathematica软件包OreAlgebraicAnalysis,它实现了(1)Ore代数上有限左模的Groebner基技术,(2)确定模理论性质的算法,如扭自由度、自反性、射影性、自由度,以及(3)同调代数的算法,例如自由分辨率和投影维数的计算。OreAlgebraicAnalysis包使用HolonomicFunctions包中Ore代数的非常通用的实现,它还提供了此类环中Groebner基的计算。我们通过控制理论中的示例介绍并演示这些包。与Alban Quadrat,Maris Tonso联合工作。 主页: http://pages.saclay.inria.fr/alban.quadra/OreAlgebraicAnalysis/index.html 依赖项: 数学软件 相关软件: 矿石形态;Ore模块;NL控制;完整函数;麦考莱2;单一;复数;枫树;数学软件;菅直人;时间差分系统;DIFFALG公司;珍妮特;正则链;RAGlib公司;LMI工具箱 引用于: 4文件 全部的 前5名8位作者引用 三 托马斯·克鲁索 三 阿尔班Quadrat 1 奥利维·巴切利埃 1 罗南·大卫 1 克里斯托夫·库彻恩 1 汤索,玛丽斯 1 尼玛·叶加内法尔 1 伊娃·泽兹 2篇连载文章中引用 1 多维系统及信号处理 1 延迟和动力学的进展 在5个字段中引用 4 系统论;控制(93至XX) 1 总体主题;集合(00-XX) 1 动力系统和遍历理论(37至XX) 1 变异微积分和最优控制;最优化(49-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文