×

矿石代数分析

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文件

按年份列出的引文